src/HOL/Prolog/Test.thy
Tue, 14 Feb 2012 21:45:32 +0100 wenzelm more conventional tactic setup;
Fri, 13 May 2011 22:55:00 +0200 wenzelm proper Proof.context for classical tactics;
Mon, 20 Dec 2010 16:44:33 +0100 wenzelm proper identifiers for consts and types;
Fri, 23 Apr 2010 23:35:43 +0200 wenzelm mark schematic statements explicitly;
Thu, 11 Feb 2010 21:33:25 +0100 wenzelm modernized syntax/translations;
Thu, 28 Jan 2010 11:48:49 +0100 haftmann new theory Algebras.thy for generic algebraic structures
Mon, 20 Nov 2006 21:23:12 +0100 wenzelm HOL-Prolog: converted legacy ML scripts;
Wed, 07 Sep 2005 21:07:09 +0200 wenzelm converted to Isar theory format;
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Tue, 11 Jun 2002 16:43:17 +0200 oheimb added the usual file headers
Sat, 01 Dec 2001 18:52:32 +0100 wenzelm renamed class "term" to "type" (actually "HOL.type");
Fri, 02 Jun 2000 12:44:04 +0200 oheimb added HOL/Prolog
less more (0) tip