| Wed, 02 Apr 2008 12:32:53 +0200 | chaieb | No longer imports InfiniteSet, ATP_Linkup is sufficient. | file | diff | annotate |
| Tue, 26 Feb 2008 20:38:18 +0100 | haftmann | other UNIV lemmas | file | diff | annotate |
| Fri, 23 Nov 2007 21:09:32 +0100 | haftmann | deleted card definition as code lemma; authentic syntax for card | file | diff | annotate |
| Sat, 10 Nov 2007 18:36:06 +0100 | wenzelm | tuned document; | file | diff | annotate |
| Tue, 18 Sep 2007 16:08:00 +0200 | wenzelm | simplified type int (eliminated IntInf.int, integer); | file | diff | annotate |
| Wed, 22 Aug 2007 20:59:19 +0200 | huffman | typed print translation for CARD('a); | file | diff | annotate |
| Wed, 22 Aug 2007 18:53:54 +0200 | huffman | rename type pls to num0 | file | diff | annotate |
| Mon, 20 Aug 2007 00:22:18 +0200 | kleing | boolean algebras as locales and numbers as types by Brian Huffman | file | diff | annotate |