src/HOL/ex/LocaleTest2.thy
2016-02-17 haftmann 2016-02-17 dropped various legacy fact bindings
2015-12-26 wenzelm 2015-12-26 isabelle update_cartouches -c -t;
2015-11-04 ballarin 2015-11-04 Keyword 'rewrites' identifies rewrite morphisms.
2015-11-04 ballarin 2015-11-04 Qualifiers in locale expressions default to mandatory regardless of the command.
2015-10-06 wenzelm 2015-10-06 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2009-11-13 nipkow 2009-11-13 renamed lemmas "anti_sym" -> "antisym"
2009-10-19 berghofe 2009-10-19 Removed unneeded reference to inv_def.
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2009-07-07 nipkow 2009-07-07 renamed lemmas: nat_xyz/int_xyz -> xyz_nat/xyz_int
2009-06-18 huffman 2009-06-18 update to use new GCD library
2009-03-26 wenzelm 2009-03-26 interpretation/interpret: prefixes are mandatory by default;
2009-01-21 haftmann 2009-01-21 dropped print_interps
2008-12-14 ballarin 2008-12-14 Ported HOL and HOL-Library to new locales.
2008-12-12 ballarin 2008-12-12 Merged.
2008-12-12 ballarin 2008-12-12 Ported to new locales.
2008-12-11 ballarin 2008-12-11 Conversion of HOL-Main and ZF to new locales.
2008-11-17 haftmann 2008-11-17 tuned unfold_locales invocation
2008-07-14 haftmann 2008-07-14 unified curried gcd, lcm, zgcd, zlcm
2007-12-10 haftmann 2007-12-10 explicit import of theory Main
2007-11-05 ballarin 2007-11-05 Interpretation with named equations.
2007-10-10 wenzelm 2007-10-10 proper latex antiquotations instead of adhoc escapes;
2007-07-24 haftmann 2007-07-24 renamed lcm_lowest to lcm_least
2007-07-23 ballarin 2007-07-23 interpretation: equations are propositions not pairs of terms;
2007-06-03 wenzelm 2007-06-03 tuned document;
2007-04-20 ballarin 2007-04-20 Interpretation equations applied to attributes
2007-04-14 wenzelm 2007-04-14 do not enable Toplevel.debug globally;
2007-04-13 ballarin 2007-04-13 New file for locale regression tests.