1001 HOL-Nominal: HOL $(OUT)/HOL-Nominal |
1001 HOL-Nominal: HOL $(OUT)/HOL-Nominal |
1002 |
1002 |
1003 $(OUT)/HOL-Nominal: $(OUT)/HOL Nominal/ROOT.ML \ |
1003 $(OUT)/HOL-Nominal: $(OUT)/HOL Nominal/ROOT.ML \ |
1004 Nominal/Nominal.thy \ |
1004 Nominal/Nominal.thy \ |
1005 Nominal/nominal_atoms.ML \ |
1005 Nominal/nominal_atoms.ML \ |
|
1006 Nominal/nominal_datatype.ML \ |
1006 Nominal/nominal_fresh_fun.ML \ |
1007 Nominal/nominal_fresh_fun.ML \ |
1007 Nominal/nominal_induct.ML \ |
1008 Nominal/nominal_induct.ML \ |
1008 Nominal/nominal_inductive.ML \ |
1009 Nominal/nominal_inductive.ML \ |
1009 Nominal/nominal_inductive2.ML \ |
1010 Nominal/nominal_inductive2.ML \ |
1010 Nominal/nominal.ML \ |
|
1011 Nominal/nominal_permeq.ML \ |
1011 Nominal/nominal_permeq.ML \ |
1012 Nominal/nominal_primrec.ML \ |
1012 Nominal/nominal_primrec.ML \ |
1013 Nominal/nominal_thmdecls.ML \ |
1013 Nominal/nominal_thmdecls.ML \ |
1014 Library/Infinite_Set.thy |
1014 Library/Infinite_Set.thy |
1015 @cd Nominal; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Nominal |
1015 @cd Nominal; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Nominal |