src/HOL/Library/Nat_Infinity.thy
Sat, 06 Dec 2008 20:26:51 -0800 huffman multiplication for type inat
Sat, 06 Dec 2008 19:39:53 -0800 huffman change lemmas to avoid using neg
Fri, 10 Oct 2008 06:45:53 +0200 haftmann `code func` now just `code`
Mon, 11 Aug 2008 14:49:53 +0200 haftmann moved class wellorder to theory Orderings
Mon, 07 Jul 2008 08:47:17 +0200 haftmann absolute imports of HOL/*.thy theories
Thu, 26 Jun 2008 10:07:01 +0200 haftmann established Plain theory and image
Tue, 10 Jun 2008 15:31:02 +0200 haftmann refactoring; addition, numerals
Mon, 18 Feb 2008 02:10:55 +0100 huffman proved linorder and wellorder class instances
Tue, 18 Dec 2007 14:37:00 +0100 haftmann switched from PreList to ATP_Linkup
Mon, 10 Dec 2007 11:24:09 +0100 haftmann switched import from Main to PreList
Sun, 21 Oct 2007 14:53:44 +0200 nipkow Eliminated most of the neq0_conv occurrences. As a result, many
Sat, 20 Oct 2007 12:09:33 +0200 chaieb fixed proofs
Mon, 11 Jun 2007 11:06:04 +0200 chaieb tuned Proof
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Tue, 07 Nov 2006 11:47:57 +0100 wenzelm renamed 'const_syntax' to 'notation';
Sat, 27 May 2006 17:42:02 +0200 wenzelm tuned;
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;
Sat, 01 May 2004 22:01:57 +0200 wenzelm tuned instance statements;
Wed, 14 Apr 2004 14:13:05 +0200 kleing use more symbols in HTML output
Fri, 05 Oct 2001 21:52:39 +0200 wenzelm sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
Wed, 03 Oct 2001 20:54:16 +0200 wenzelm tuned parentheses in relational expressions;
Thu, 31 May 2001 22:34:58 +0200 wenzelm tuned
Thu, 31 May 2001 20:52:51 +0200 wenzelm tuned
Thu, 31 May 2001 17:06:00 +0200 oheimb added Library/Nat_Infinity.thy and Library/Continuity.thy
less more (0) tip