# HG changeset patch
# User wenzelm
# Date 1006286052 -3600
# Node ID fdb65a05fca8f5ead2d5da794a7a371988b1541b
# Parent  3dd9aae402bbe0263cec0d61842ecd9208a90ff8
tuned;

diff -r 3dd9aae402bb -r fdb65a05fca8 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Tue Nov 20 10:48:38 2001 +0100
+++ b/src/HOL/IsaMakefile	Tue Nov 20 20:54:12 2001 +0100
@@ -16,10 +16,10 @@
   HOL-Auth \
   HOL-AxClasses \
   HOL-CTL \
+  HOL-GroupTheory \
       HOL-Real-HahnBanach \
       HOL-Real-Hyperreal \
       HOL-Real-ex \
-  HOL-GroupTheory \
   HOL-Hoare \
   HOL-IMP \
   HOL-IMPP \