--- a/src/HOL/IsaMakefile Thu Jul 08 16:20:03 2010 +0200
+++ b/src/HOL/IsaMakefile Thu Jul 08 16:28:18 2010 +0200
@@ -31,7 +31,6 @@
HOL-Auth \
HOL-Bali \
HOL-Boogie-Examples \
- HOL-Codegenerator_Test \
HOL-Decision_Procs \
HOL-Hahn_Banach \
HOL-Hoare \
@@ -44,6 +43,7 @@
HOL-Induct \
HOL-Isar_Examples \
HOL-Lattice \
+ HOL-Library-Codegenerator_Test \
HOL-Matrix \
HOL-Metis_Examples \
HOL-MicroJava \
@@ -634,11 +634,11 @@
@$(ISABELLE_TOOL) usedir -g true $(OUT)/HOL Hoare_Parallel
-## HOL-Codegenerator_Test
+## HOL-Library-Codegenerator_Test
-HOL-Codegenerator_Test: HOL-Library $(LOG)/HOL-Codegenerator_Test.gz
+HOL-Library-Codegenerator_Test: HOL-Library $(LOG)/HOL-Library-Codegenerator_Test.gz
-$(LOG)/HOL-Codegenerator_Test.gz: $(OUT)/HOL-Library \
+$(LOG)/HOL-Library-Codegenerator_Test.gz: $(OUT)/HOL-Library \
Codegenerator_Test/ROOT.ML \
Codegenerator_Test/Candidates.thy \
Codegenerator_Test/Candidates_Pretty.thy \