equal
deleted
inserted
replaced
310 |
310 |
311 ## HOL-MicroJava |
311 ## HOL-MicroJava |
312 |
312 |
313 HOL-MicroJava: HOL $(LOG)/HOL-MicroJava.gz |
313 HOL-MicroJava: HOL $(LOG)/HOL-MicroJava.gz |
314 |
314 |
315 $(LOG)/HOL-MicroJava.gz: $(OUT)/HOL \ |
315 $(LOG)/HOL-MicroJava.gz: $(OUT)/HOL MicroJava/ROOT.ML \ |
316 MicroJava/J/Conform.ML MicroJava/J/Conform.thy MicroJava/J/Decl.thy \ |
316 MicroJava/J/Conform.ML MicroJava/J/Conform.thy MicroJava/J/Decl.thy \ |
317 MicroJava/J/Eval.thy MicroJava/J/Eval.ML MicroJava/J/JBasis.ML \ |
317 MicroJava/J/Eval.thy MicroJava/J/Eval.ML MicroJava/J/JBasis.ML \ |
318 MicroJava/J/JBasis.thy MicroJava/J/JTypeSafe.thy MicroJava/J/JTypeSafe.ML \ |
318 MicroJava/J/JBasis.thy MicroJava/J/JTypeSafe.thy MicroJava/J/JTypeSafe.ML \ |
319 MicroJava/J/Prog.thy MicroJava/J/Prog.ML MicroJava/J/State.ML \ |
319 MicroJava/J/Prog.thy MicroJava/J/Prog.ML MicroJava/J/State.ML \ |
320 MicroJava/J/State.thy MicroJava/J/Term.thy MicroJava/J/Type.ML \ |
320 MicroJava/J/State.thy MicroJava/J/Term.thy MicroJava/J/Type.ML \ |