equal
deleted
inserted
replaced
32 HOL-MetisExamples \ |
32 HOL-MetisExamples \ |
33 HOL-MicroJava \ |
33 HOL-MicroJava \ |
34 HOL-Modelcheck \ |
34 HOL-Modelcheck \ |
35 HOL-NanoJava \ |
35 HOL-NanoJava \ |
36 HOL-Nominal-Examples \ |
36 HOL-Nominal-Examples \ |
|
37 HOL-NewNumberTheory \ |
37 HOL-NumberTheory \ |
38 HOL-NumberTheory \ |
38 HOL-Prolog \ |
39 HOL-Prolog \ |
39 HOL-SET-Protocol \ |
40 HOL-SET-Protocol \ |
40 HOL-SizeChange \ |
41 HOL-SizeChange \ |
41 HOL-Statespace \ |
42 HOL-Statespace \ |
487 Import/HOLLight/hollight.imp Import/HOLLight/HOLLight.thy \ |
488 Import/HOLLight/hollight.imp Import/HOLLight/HOLLight.thy \ |
488 Import/HOLLight/ROOT.ML |
489 Import/HOLLight/ROOT.ML |
489 @cd Import/HOLLight; $(ISABELLE_TOOL) usedir -b $(OUT)/HOL HOLLight |
490 @cd Import/HOLLight; $(ISABELLE_TOOL) usedir -b $(OUT)/HOL HOLLight |
490 |
491 |
491 |
492 |
|
493 ## HOL-NewNumberTheory |
|
494 |
|
495 HOL-NewNumberTheory: HOL $(LOG)/HOL-NewNumberTheory.gz |
|
496 |
|
497 $(LOG)/HOL-NewNumberTheory.gz: $(OUT)/HOL GCD.thy Library/Multiset.thy \ |
|
498 NewNumberTheory/Fib.thy NewNumberTheory/Binomial.thy \ |
|
499 NewNumberTheory/Residues.thy NewNumberTheory/UniqueFactorization.thy \ |
|
500 NewNumberTheory/Cong.thy NewNumberTheory/MiscAlgebra.thy \ |
|
501 NewNumberTheory/ROOT.ML |
|
502 @$(ISABELLE_TOOL) usedir -g true $(OUT)/HOL NewNumberTheory |
|
503 |
|
504 |
492 ## HOL-NumberTheory |
505 ## HOL-NumberTheory |
493 |
506 |
494 HOL-NumberTheory: HOL $(LOG)/HOL-NumberTheory.gz |
507 HOL-NumberTheory: HOL $(LOG)/HOL-NumberTheory.gz |
495 |
508 |
496 $(LOG)/HOL-NumberTheory.gz: $(OUT)/HOL Library/Permutation.thy \ |
509 $(LOG)/HOL-NumberTheory.gz: $(OUT)/HOL Library/Permutation.thy \ |