src/HOL/IsaMakefile
changeset 33954 1bc3b688548c
parent 33820 082d9bc6992d
child 33963 977b94b64905
     1.1 --- a/src/HOL/IsaMakefile	Wed Dec 02 12:04:07 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Tue Nov 24 14:37:23 2009 +0100
     1.3 @@ -848,20 +848,20 @@
     1.4    MicroJava/J/JListExample.thy MicroJava/JVM/JVMExec.thy		\
     1.5    MicroJava/JVM/JVMInstructions.thy MicroJava/JVM/JVMState.thy		\
     1.6    MicroJava/JVM/JVMExecInstr.thy MicroJava/JVM/JVMListExample.thy	\
     1.7 -  MicroJava/JVM/JVMExceptions.thy MicroJava/BV/BVSpec.thy		\
     1.8 +  MicroJava/JVM/JVMExceptions.thy MicroJava/DFA/Abstract_BV.thy		\
     1.9 +  MicroJava/DFA/Err.thy MicroJava/DFA/Kildall.thy			\
    1.10 +  MicroJava/DFA/LBVComplete.thy MicroJava/DFA/LBVCorrect.thy		\
    1.11 +  MicroJava/DFA/LBVSpec.thy MicroJava/DFA/Listn.thy			\
    1.12 +  MicroJava/DFA/Opt.thy MicroJava/DFA/Product.thy			\
    1.13 +  MicroJava/DFA/SemilatAlg.thy MicroJava/DFA/Semilat.thy		\
    1.14 +  MicroJava/DFA/Semilattices.thy MicroJava/DFA/Typing_Framework_err.thy	\
    1.15 +  MicroJava/DFA/Typing_Framework.thy MicroJava/BV/BVSpec.thy		\
    1.16    MicroJava/BV/BVSpecTypeSafe.thy MicroJava/BV/Correct.thy		\
    1.17 -  MicroJava/BV/Err.thy MicroJava/BV/JType.thy MicroJava/BV/JVM.thy	\
    1.18 -  MicroJava/BV/JVMType.thy MicroJava/BV/Kildall.thy			\
    1.19 -  MicroJava/BV/LBVSpec.thy MicroJava/BV/Listn.thy MicroJava/BV/Opt.thy	\
    1.20 -  MicroJava/BV/Product.thy MicroJava/BV/Semilat.thy			\
    1.21 +  MicroJava/BV/JType.thy MicroJava/BV/JVM.thy MicroJava/BV/JVMType.thy	\
    1.22    MicroJava/BV/Effect.thy MicroJava/BV/EffectMono.thy			\
    1.23 -  MicroJava/BV/Typing_Framework.thy					\
    1.24 -  MicroJava/BV/Typing_Framework_err.thy					\
    1.25    MicroJava/BV/Typing_Framework_JVM.thy MicroJava/BV/BVExample.thy	\
    1.26 -  MicroJava/BV/LBVSpec.thy MicroJava/BV/LBVCorrect.thy			\
    1.27 -  MicroJava/BV/LBVComplete.thy MicroJava/BV/LBVJVM.thy			\
    1.28 -  MicroJava/document/root.bib MicroJava/document/root.tex		\
    1.29 -  MicroJava/document/introduction.tex
    1.30 +  MicroJava/BV/LBVJVM.thy MicroJava/document/root.bib			\
    1.31 +  MicroJava/document/root.tex MicroJava/document/introduction.tex
    1.32  	@$(ISABELLE_TOOL) usedir -g true $(OUT)/HOL MicroJava
    1.33  
    1.34