equal
deleted
inserted
replaced
737 |
737 |
738 HOL-Nominal: HOL $(OUT)/HOL-Nominal |
738 HOL-Nominal: HOL $(OUT)/HOL-Nominal |
739 |
739 |
740 $(OUT)/HOL-Nominal: $(OUT)/HOL Nominal/ROOT.ML Nominal/Nominal.thy \ |
740 $(OUT)/HOL-Nominal: $(OUT)/HOL Nominal/ROOT.ML Nominal/Nominal.thy \ |
741 Nominal/nominal_atoms.ML Nominal/nominal_induct.ML \ |
741 Nominal/nominal_atoms.ML Nominal/nominal_induct.ML \ |
742 Nominal/nominal_package.ML Nominal/nominal_permeq.ML Library/Infinite_Set.thy |
742 Nominal/nominal_package.ML Nominal/nominal_permeq.ML Nominal/nominal_primrec.ML \ |
|
743 Library/Infinite_Set.thy |
743 @cd Nominal; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Nominal |
744 @cd Nominal; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Nominal |
744 |
745 |
745 |
746 |
746 ## HOL-Nominal-Examples |
747 ## HOL-Nominal-Examples |
747 |
748 |