| Wed, 13 Jul 2005 15:06:20 +0200 | paulson | generlization of some "nat" theorems | file | diff | annotate |
| Thu, 07 Jul 2005 12:39:17 +0200 | nipkow | linear arithmetic now takes "&" in assumptions apart. | file | diff | annotate |
| 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 |