equal
deleted
inserted
replaced
1318 HOL-Predicate_Compile_Examples: HOL $(LOG)/HOL-Predicate_Compile_Examples.gz |
1318 HOL-Predicate_Compile_Examples: HOL $(LOG)/HOL-Predicate_Compile_Examples.gz |
1319 |
1319 |
1320 $(LOG)/HOL-Predicate_Compile_Examples.gz: $(OUT)/HOL \ |
1320 $(LOG)/HOL-Predicate_Compile_Examples.gz: $(OUT)/HOL \ |
1321 Predicate_Compile_Examples/ROOT.ML \ |
1321 Predicate_Compile_Examples/ROOT.ML \ |
1322 Predicate_Compile_Examples/Predicate_Compile_Examples.thy \ |
1322 Predicate_Compile_Examples/Predicate_Compile_Examples.thy \ |
1323 Predicate_Compile_Examples/Predicate_Compile_Quickcheck_Examples.thy |
1323 Predicate_Compile_Examples/Predicate_Compile_Quickcheck_Examples.thy \ |
|
1324 Predicate_Compile_Examples/Code_Prolog_Examples.thy |
1324 @$(ISABELLE_TOOL) usedir $(OUT)/HOL Predicate_Compile_Examples |
1325 @$(ISABELLE_TOOL) usedir $(OUT)/HOL Predicate_Compile_Examples |
1325 |
1326 |
1326 |
1327 |
1327 ## clean |
1328 ## clean |
1328 |
1329 |