src/HOL/ex/Meson_Test.thy
Tue, 22 Apr 2008 08:33:16 +0200 haftmann constant HOL.eq now qualified
Wed, 02 Apr 2008 15:58:32 +0200 haftmann explicit class "eq" for operational equality
Wed, 06 Feb 2008 12:51:23 +0100 chaieb between constant removed
Mon, 21 Jan 2008 14:18:49 +0100 berghofe Removed Logic.auto_rename.
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