equal
deleted
inserted
replaced
1173 Nominal/nominal_inductive.ML \ |
1173 Nominal/nominal_inductive.ML \ |
1174 Nominal/nominal_inductive2.ML \ |
1174 Nominal/nominal_inductive2.ML \ |
1175 Nominal/nominal_permeq.ML \ |
1175 Nominal/nominal_permeq.ML \ |
1176 Nominal/nominal_primrec.ML \ |
1176 Nominal/nominal_primrec.ML \ |
1177 Nominal/nominal_thmdecls.ML \ |
1177 Nominal/nominal_thmdecls.ML \ |
|
1178 Nominal/old_primrec.ML \ |
1178 Library/Infinite_Set.thy |
1179 Library/Infinite_Set.thy |
1179 @cd Nominal; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Nominal |
1180 @cd Nominal; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Nominal |
1180 |
1181 |
1181 |
1182 |
1182 ## HOL-Nominal-Examples |
1183 ## HOL-Nominal-Examples |