src/HOL/ex/MT.thy
Thu, 28 Feb 2013 13:33:01 +0100 wenzelm eliminated legacy 'axioms';
Fri, 13 May 2011 22:55:00 +0200 wenzelm proper Proof.context for classical tactics;
Fri, 07 Jan 2011 14:46:28 +0100 bulwahn removing obselete Id comments from HOL/ex theories
Sat, 18 Aug 2007 17:42:38 +0200 wenzelm converted ex/MT.ML;
Tue, 06 Sep 2005 19:10:43 +0200 wenzelm converted to Isar theory format;
Fri, 21 Jan 2005 13:54:09 +0100 paulson inserted quotes preparatory to conversion
Sat, 01 Dec 2001 18:52:32 +0100 wenzelm renamed class "term" to "type" (actually "HOL.type");
Tue, 30 Jun 1998 20:51:15 +0200 berghofe Adapted to new inductive definition package.
Fri, 10 Oct 1997 19:02:28 +0200 wenzelm fixed dots;
Mon, 05 Feb 1996 21:29:06 +0100 clasohm expanded tabs; incorporated Konrad's changes
Fri, 01 Dec 1995 12:03:13 +0100 clasohm removed quotes from consts and syntax sections
Wed, 21 Jun 1995 15:47:10 +0200 clasohm removed \...\ inside strings
Mon, 10 Apr 1995 08:49:00 +0200 nipkow ROOT.ML: Removed the "exit 1" calls, since now the Makefile does them.
Fri, 24 Mar 1995 12:30:35 +0100 clasohm changed syntax of tuples from <..., ...> to (..., ...)
Wed, 22 Mar 1995 12:42:34 +0100 clasohm converted ex with curried function application
less more (0) tip