src/HOL/IsaMakefile
changeset 8193 33e4ec7a2daa
parent 8179 6a0b1037bab3
child 8256 6ba8fa2b0638
equal deleted inserted replaced
8192:45a7027136e3 8193:33e4ec7a2daa
   323   MicroJava/JVM/Method.thy MicroJava/JVM/Object.thy MicroJava/JVM/Opstack.thy \
   323   MicroJava/JVM/Method.thy MicroJava/JVM/Object.thy MicroJava/JVM/Opstack.thy \
   324   MicroJava/JVM/Store.thy MicroJava/JVM/Store.ML \
   324   MicroJava/JVM/Store.thy MicroJava/JVM/Store.ML \
   325   MicroJava/BV/BVSpec.thy MicroJava/BV/BVSpec.ML \
   325   MicroJava/BV/BVSpec.thy MicroJava/BV/BVSpec.ML \
   326   MicroJava/BV/BVSpecTypeSafe.thy MicroJava/BV/BVSpecTypeSafe.ML \
   326   MicroJava/BV/BVSpecTypeSafe.thy MicroJava/BV/BVSpecTypeSafe.ML \
   327   MicroJava/BV/Convert.thy MicroJava/BV/Convert.ML \
   327   MicroJava/BV/Convert.thy MicroJava/BV/Convert.ML \
   328   MicroJava/BV/Correct.thy MicroJava/BV/Correct.ML
   328   MicroJava/BV/Correct.thy MicroJava/BV/Correct.ML MicroJava/document/root.tex
   329 	@$(ISATOOL) usedir $(OUT)/HOL MicroJava
   329 	@$(ISATOOL) usedir $(OUT)/HOL MicroJava
       
   330 
   330 
   331 
   331 ## HOL-BCV
   332 ## HOL-BCV
   332 
   333 
   333 HOL-BCV: HOL $(LOG)/HOL-BCV.gz
   334 HOL-BCV: HOL $(LOG)/HOL-BCV.gz
   334 
   335