# HG changeset patch
# User wenzelm
# Date 821717454 -3600
# Node ID 7a8a30b11a24c78b6af0d591e23ee64f11712acc
# Parent  7fbe815c18ade0da1406c216fe857a5e7e7afba8
*** empty log message ***

diff -r 7fbe815c18ad -r 7a8a30b11a24 src/HOL/AxClasses/Group/ROOT.ML
--- a/src/HOL/AxClasses/Group/ROOT.ML	Mon Jan 15 15:50:41 1996 +0100
+++ b/src/HOL/AxClasses/Group/ROOT.ML	Mon Jan 15 15:50:54 1996 +0100
@@ -2,8 +2,7 @@
     ID:         $Id$
     Author:     Markus Wenzel, TU Muenchen
 
-(* FIXME comment *)
-Elementary algebra via axiomatic type classes.
+Some bits of group theory via axiomatic type classes.
 *)
 
 reset HOL_quantifiers;
@@ -13,7 +12,7 @@
 (*disable bug compatibility*)
 reset force_strip_shyps;
 
-set force_strip_shyps;(* FIXME tmp hack *)
+set force_strip_shyps; (* FIXME tmp hack *)
 
 
 use_thy "Sigs";