src/HOL/Prolog/Func.thy
Fri, 23 Apr 2010 23:35:43 +0200 wenzelm mark schematic statements explicitly;
Mon, 22 Feb 2010 15:53:18 +0100 haftmann distributed theory Algebras to theories Groups and Lattices
Fri, 19 Feb 2010 14:47:00 +0100 haftmann dropped reference to type classes
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;
Tue, 26 Sep 2006 13:34:16 +0200 haftmann renamed 0 and 1 to HOL.zero and HOL.one respectivly; introduced corresponding syntactic classes
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