src/HOL/cladata.ML
changeset 18708 4b3dadb4fe33
parent 18529 540da2415751
child 20223 89d2758ecddf
     1.1 --- a/src/HOL/cladata.ML	Thu Jan 19 15:45:10 2006 +0100
     1.2 +++ b/src/HOL/cladata.ML	Thu Jan 19 21:22:08 2006 +0100
     1.3 @@ -62,4 +62,4 @@
     1.4  val HOL_cs = prop_cs addSIs [allI,ex_ex1I] addIs [exI, the_equality] 
     1.5                       addSEs [exE] addEs [allE];
     1.6  
     1.7 -val clasetup = [fn thy => (change_claset_of thy (fn _ => HOL_cs); thy)];
     1.8 +val clasetup = (fn thy => (change_claset_of thy (fn _ => HOL_cs); thy));