src/HOL/ex/Meson_Test.thy
Mon, 20 Aug 2007 18:07:28 +0200 haftmann turned locales intro classes
Fri, 17 Aug 2007 00:03:50 +0200 wenzelm proper signature for Meson;
Thu, 02 Aug 2007 23:18:13 +0200 wenzelm reset Logic.auto_rename;
Thu, 02 Aug 2007 16:12:02 +0200 wenzelm tuned;
Thu, 02 Aug 2007 15:44:37 +0200 wenzelm converted Meson tests to proper theory;
less more (0) tip