equal
deleted
inserted
replaced
414 |
414 |
415 ## HOL-MicroJava |
415 ## HOL-MicroJava |
416 |
416 |
417 HOL-MicroJava: HOL $(LOG)/HOL-MicroJava.gz |
417 HOL-MicroJava: HOL $(LOG)/HOL-MicroJava.gz |
418 |
418 |
419 $(LOG)/HOL-MicroJava.gz: $(OUT)/HOL MicroJava/ROOT.ML MicroJava/Digest.thy \ |
419 $(LOG)/HOL-MicroJava.gz: $(OUT)/HOL MicroJava/ROOT.ML \ |
420 MicroJava/J/Conform.thy MicroJava/J/Eval.thy MicroJava/J/JBasis.thy \ |
420 MicroJava/J/Conform.thy MicroJava/J/Eval.thy MicroJava/J/JBasis.thy \ |
421 MicroJava/J/JTypeSafe.thy MicroJava/J/Decl.thy MicroJava/J/State.thy \ |
421 MicroJava/J/JTypeSafe.thy MicroJava/J/Decl.thy MicroJava/J/State.thy \ |
422 MicroJava/J/Term.thy MicroJava/J/Type.thy MicroJava/J/TypeRel.thy \ |
422 MicroJava/J/Term.thy MicroJava/J/Type.thy MicroJava/J/TypeRel.thy \ |
423 MicroJava/J/WellForm.thy MicroJava/J/Value.thy \ |
423 MicroJava/J/WellForm.thy MicroJava/J/Value.thy \ |
424 MicroJava/J/WellType.thy MicroJava/J/Example.thy \ |
424 MicroJava/J/WellType.thy MicroJava/J/Example.thy \ |