src/HOL/ex/LocaleGroup.ML
1998-12-11 paulson 1998-12-11 new Close_locale synatx
1998-11-12 paulson 1998-11-12 changed inverse syntax from x-| to i(x)
1998-11-11 paulson 1998-11-11 Big simplification of proofs. Deleted lots of unnecessary theorems
1998-08-14 paulson 1998-08-14 expandshort
1998-08-04 wenzelm 1998-08-04 added LocaleGroup, PiSets examples;