src/HOL/Infinite_Set.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.
Thu, 15 Jul 2004 13:11:34 +0200 nipkow Moved to new m<..<n syntax for set intervals.
Wed, 16 Jun 2004 20:37:29 +0200 wenzelm tuned document;
Wed, 09 Jun 2004 18:51:26 +0200 wenzelm tuned comment;
Fri, 21 May 2004 21:14:52 +0200 wenzelm use plain SOME;
Wed, 14 Apr 2004 14:13:05 +0200 kleing use more symbols in HTML output
Thu, 25 Mar 2004 10:32:21 +0100 paulson new material from Avigad
Mon, 08 Mar 2004 11:11:58 +0100 paulson new theory of infinite sets
less more (0) tip