changeset 8503 | 9d62b37bbfca |
parent 8490 | 6e0f23304061 |
child 8557 | fe75fe482566 |
--- a/src/HOL/IsaMakefile Fri Mar 17 17:11:59 2000 +0100 +++ b/src/HOL/IsaMakefile Fri Mar 17 17:12:07 2000 +0100 @@ -312,7 +312,7 @@ HOL-MicroJava: HOL $(LOG)/HOL-MicroJava.gz -$(LOG)/HOL-MicroJava.gz: $(OUT)/HOL \ +$(LOG)/HOL-MicroJava.gz: $(OUT)/HOL MicroJava/ROOT.ML \ MicroJava/J/Conform.ML MicroJava/J/Conform.thy MicroJava/J/Decl.thy \ MicroJava/J/Eval.thy MicroJava/J/Eval.ML MicroJava/J/JBasis.ML \ MicroJava/J/JBasis.thy MicroJava/J/JTypeSafe.thy MicroJava/J/JTypeSafe.ML \