changeset 10921 | 21ba831562d0 |
parent 10903 | ad1fb17361e4 |
child 10943 | 3a610d34eb9e |
--- a/src/HOL/IsaMakefile Tue Jan 16 15:56:34 2001 +0100 +++ b/src/HOL/IsaMakefile Tue Jan 16 19:21:21 2001 +0100 @@ -419,7 +419,6 @@ MicroJava/J/Example.ML MicroJava/J/Example.thy \ MicroJava/JVM/JVMExec.thy MicroJava/JVM/JVMInstructions.thy\ MicroJava/JVM/JVMState.thy MicroJava/JVM/JVMExecInstr.thy\ - MicroJava/JVM/Store.thy \ MicroJava/BV/BVSpec.thy MicroJava/BV/Step.thy\ MicroJava/BV/BVSpecTypeSafe.thy MicroJava/BV/Correct.thy \ MicroJava/BV/StepMono.thy MicroJava/BV/LBVSpec.thy \