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