src/HOL/ex/LocaleTest2.thy
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.