equal
deleted
inserted
replaced
719 |
719 |
720 ## HOL-Nominal |
720 ## HOL-Nominal |
721 |
721 |
722 HOL-Nominal: HOL $(OUT)/HOL-Nominal |
722 HOL-Nominal: HOL $(OUT)/HOL-Nominal |
723 |
723 |
724 $(OUT)/HOL-Nominal: $(OUT)/HOL Nominal/ROOT.ML Nominal/Nominal.thy \ |
724 $(OUT)/HOL-Nominal: $(OUT)/HOL Nominal/ROOT.ML \ |
725 Nominal/nominal_atoms.ML Nominal/nominal_induct.ML \ |
725 Nominal/Nominal.thy \ |
726 Nominal/nominal_package.ML Nominal/nominal_permeq.ML Nominal/nominal_primrec.ML \ |
726 Nominal/nominal_atoms.ML \ |
|
727 Nominal/nominal_induct.ML \ \ |
|
728 Nominal/nominal_package.ML \ |
|
729 Nominal/nominal_permeq.ML \ |
|
730 Nominal/nominal_primrec.ML \ |
|
731 Nominal/nominal_thmdecls.ML \ |
727 Library/Infinite_Set.thy |
732 Library/Infinite_Set.thy |
728 @cd Nominal; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Nominal |
733 @cd Nominal; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Nominal |
729 |
734 |
730 |
735 |
731 ## HOL-Nominal-Examples |
736 ## HOL-Nominal-Examples |