src/HOL/Library/List_Prefix.thy
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Sat, 11 Nov 2006 16:11:42 +0100 wenzelm tuned proofs;
Thu, 16 Feb 2006 21:12:00 +0100 wenzelm new-style definitions/abbreviations;
Sat, 21 Jan 2006 23:02:21 +0100 wenzelm tuned proofs;
Fri, 25 Nov 2005 19:20:56 +0100 wenzelm tuned induct proofs;
Wed, 31 Aug 2005 15:46:38 +0200 wenzelm reactivate postfix by change of syntax;
Wed, 01 Dec 2004 18:11:50 +0100 nipkow Removed postfix >= because of new >= sugar
Wed, 18 Aug 2004 11:09:40 +0200 nipkow import -> imports
Mon, 16 Aug 2004 14:22:27 +0200 nipkow New theory header syntax.
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Thu, 06 May 2004 14:14:18 +0200 wenzelm tuned document;
Mon, 12 Apr 2004 19:54:32 +0200 oheimb removed o2l and fold_rel; moved postfix to Library/List_Prefix.thy
Thu, 18 Dec 2003 08:20:36 +0100 nipkow *** empty log message ***
Sat, 01 Dec 2001 18:52:32 +0100 wenzelm renamed class "term" to "type" (actually "HOL.type");
Tue, 30 Oct 2001 17:37:25 +0100 wenzelm tuned induct proofs;
Mon, 15 Oct 2001 20:34:44 +0200 wenzelm GPLed;
Thu, 11 Jan 2001 19:37:46 +0100 wenzelm added strict_prefixI', strict_prefixE';
Wed, 22 Nov 2000 21:47:04 +0100 wenzelm tuned;
Mon, 06 Nov 2000 22:56:07 +0100 wenzelm improved: 'induct' handle non-atomic goals;
Fri, 03 Nov 2000 21:35:36 +0100 wenzelm proper setup of "parallel";
Wed, 25 Oct 2000 18:31:21 +0200 wenzelm "List prefixes" library theory (replaces old Lex/Prefix);
less more (0) tip