src/HOL/ex/mesontest2.thy
Tue, 16 May 2006 21:34:06 +0200 wenzelm hide const subst;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Mon, 15 Nov 2004 12:13:14 +0100 paulson Renamed some variables to eliminate conflicts with constants.
Thu, 27 Sep 2001 15:42:08 +0200 wenzelm tuned;
Fri, 10 Nov 2000 19:08:30 +0100 wenzelm proper theory context for mesontest2;
less more (0) tip