.
├── Atoms.thy
├── Eqvt.thy
├── Nominal2.thy
├── Nominal2_Abs.thy
├── Nominal2_Base.thy
├── Nominal2_FCB.thy
├── README
├── ROOT
├── config
├── index.html
├── nominal_atoms.ML
├── nominal_basics.ML
├── nominal_dt_alpha.ML
├── nominal_dt_data.ML
├── nominal_dt_quot.ML
├── nominal_dt_rawfuns.ML
├── nominal_eqvt.ML
├── nominal_function.ML
├── nominal_function_common.ML
├── nominal_function_core.ML
├── nominal_induct.ML
├── nominal_inductive.ML
├── nominal_library.ML
├── nominal_mutual.ML
├── nominal_permeq.ML
├── nominal_termination.ML
└── nominal_thmdecls.ML
0 directories, 27 files
tree v1.8.0 © 1996 - 2018 by Steve Baker and Thomas Moore
HTML output hacked and copyleft © 1998 by Francesc Rocher
JSON output hacked and copyleft © 2014 by Florian Sesser
Charsets / OS/2 support © 2001 by Kyosuke Tokoro