Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 13672 b95d12325b51
parent 13589 b6d1a29dc978
child 13682 91674c8a008b 
--- a/src/HOL/IsaMakefile	Mon Oct 21 17:23:23 2002 +0200
+++ b/src/HOL/IsaMakefile	Wed Oct 23 16:09:02 2002 +0200
@@ -487,6 +487,16 @@
 HOL-MicroJava: HOL $(LOG)/HOL-MicroJava.gz
 
 $(LOG)/HOL-MicroJava.gz: $(OUT)/HOL MicroJava/ROOT.ML \
+  MicroJava/Comp/AuxLemmas.thy \
+  MicroJava/Comp/CorrComp.thy \
+  MicroJava/Comp/CorrCompTp.thy \
+  MicroJava/Comp/DefsComp.thy \
+  MicroJava/Comp/Index.thy \
+  MicroJava/Comp/LemmasComp.thy \
+  MicroJava/Comp/NatCanonify.thy \
+  MicroJava/Comp/TranslComp.thy \
+  MicroJava/Comp/TranslCompTp.thy \
+  MicroJava/Comp/TypeInf.thy \
   MicroJava/J/Conform.thy MicroJava/J/Eval.thy MicroJava/J/JBasis.thy \
   MicroJava/J/JTypeSafe.thy MicroJava/J/Decl.thy MicroJava/J/State.thy \
   MicroJava/J/Term.thy MicroJava/J/Type.thy MicroJava/J/TypeRel.thy \
isabelle