equal
deleted
inserted
replaced
1293 ## HOL-Quotient_Examples |
1293 ## HOL-Quotient_Examples |
1294 |
1294 |
1295 HOL-Quotient_Examples: HOL $(LOG)/HOL-Quotient_Examples.gz |
1295 HOL-Quotient_Examples: HOL $(LOG)/HOL-Quotient_Examples.gz |
1296 |
1296 |
1297 $(LOG)/HOL-Quotient_Examples.gz: $(OUT)/HOL \ |
1297 $(LOG)/HOL-Quotient_Examples.gz: $(OUT)/HOL \ |
1298 Quotient_Examples/FSet.thy \ |
1298 Quotient_Examples/FSet.thy Quotient_Examples/Quotient_Int.thy \ |
1299 Quotient_Examples/LarryInt.thy Quotient_Examples/LarryDatatype.thy |
1299 Quotient_Examples/Quotient_Message.thy |
1300 @$(ISABELLE_TOOL) usedir $(OUT)/HOL Quotient_Examples |
1300 @$(ISABELLE_TOOL) usedir $(OUT)/HOL Quotient_Examples |
1301 |
1301 |
1302 |
1302 |
1303 ## HOL-Predicate_Compile_Examples |
1303 ## HOL-Predicate_Compile_Examples |
1304 |
1304 |