Wed, 18 Aug 2004 11:09:40 +0200 | nipkow | import -> imports | file | diff | annotate |
Mon, 16 Aug 2004 14:22:27 +0200 | nipkow | New theory header syntax. | file | diff | annotate |
Thu, 15 Jul 2004 13:11:34 +0200 | nipkow | Moved to new m<..<n syntax for set intervals. | file | diff | annotate |
Wed, 16 Jun 2004 20:37:29 +0200 | wenzelm | tuned document; | file | diff | annotate |
Wed, 09 Jun 2004 18:51:26 +0200 | wenzelm | tuned comment; | file | diff | annotate |
Fri, 21 May 2004 21:14:52 +0200 | wenzelm | use plain SOME; | file | diff | annotate |
Wed, 14 Apr 2004 14:13:05 +0200 | kleing | use more symbols in HTML output | file | diff | annotate |
Thu, 25 Mar 2004 10:32:21 +0100 | paulson | new material from Avigad | file | diff | annotate |
Mon, 08 Mar 2004 11:11:58 +0100 | paulson | new theory of infinite sets | file | diff | annotate |