--- a/src/HOL/IsaMakefile Sat Jun 09 14:22:08 2001 +0200
+++ b/src/HOL/IsaMakefile Sun Jun 10 08:03:35 2001 +0200
@@ -18,6 +18,7 @@
HOL-CTL \
HOL-Real-HahnBanach \
HOL-Real-ex \
+ HOL-GroupTheory \
HOL-Hoare \
HOL-IMP \
HOL-IMPP \
@@ -251,6 +252,18 @@
@$(ISATOOL) usedir $(OUT)/HOL NumberTheory
+## HOL-GroupTheory
+
+HOL-GroupTheory: HOL $(LOG)/HOL-GroupTheory.gz
+
+$(LOG)/HOL-GroupTheory.gz: $(OUT)/HOL \
+ Library/Primes.thy \
+ GroupTheory/Exponent.thy GroupTheory/Exponent.ML GroupTheory/Group.thy\
+ GroupTheory/Group.ML GroupTheory/Sylow.thy GroupTheory/Sylow.ML\
+ GroupTheory/ROOT.ML
+ @$(ISATOOL) usedir $(OUT)/HOL GroupTheory
+
+
## HOL-Hoare
HOL-Hoare: HOL $(LOG)/HOL-Hoare.gz