src/HOL/IsaMakefile
changeset 13672 b95d12325b51
parent 13589 b6d1a29dc978
child 13682 91674c8a008b
     1.1 --- a/src/HOL/IsaMakefile	Mon Oct 21 17:23:23 2002 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Oct 23 16:09:02 2002 +0200
     1.3 @@ -487,6 +487,16 @@
     1.4  HOL-MicroJava: HOL $(LOG)/HOL-MicroJava.gz
     1.5  
     1.6  $(LOG)/HOL-MicroJava.gz: $(OUT)/HOL MicroJava/ROOT.ML \
     1.7 +  MicroJava/Comp/AuxLemmas.thy \
     1.8 +  MicroJava/Comp/CorrComp.thy \
     1.9 +  MicroJava/Comp/CorrCompTp.thy \
    1.10 +  MicroJava/Comp/DefsComp.thy \
    1.11 +  MicroJava/Comp/Index.thy \
    1.12 +  MicroJava/Comp/LemmasComp.thy \
    1.13 +  MicroJava/Comp/NatCanonify.thy \
    1.14 +  MicroJava/Comp/TranslComp.thy \
    1.15 +  MicroJava/Comp/TranslCompTp.thy \
    1.16 +  MicroJava/Comp/TypeInf.thy \
    1.17    MicroJava/J/Conform.thy MicroJava/J/Eval.thy MicroJava/J/JBasis.thy \
    1.18    MicroJava/J/JTypeSafe.thy MicroJava/J/Decl.thy MicroJava/J/State.thy \
    1.19    MicroJava/J/Term.thy MicroJava/J/Type.thy MicroJava/J/TypeRel.thy \