src/HOL/ex/LocaleTest2.thy
Fri, 20 Apr 2007 16:55:38 +0200 ballarin Interpretation equations applied to attributes
Sat, 14 Apr 2007 17:36:01 +0200 wenzelm do not enable Toplevel.debug globally;
Fri, 13 Apr 2007 10:00:04 +0200 ballarin New file for locale regression tests.
less more (0) tip