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 |