src/HOL/Library/Nat_Infinity.thy
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