Mon, 20 Aug 2007 17:31:01 +0200 | huffman | no_document for Infinite_Set, Parity | changeset | files |
Mon, 20 Aug 2007 11:18:18 +0200 | nipkow | removed allpairs | changeset | files |
Mon, 20 Aug 2007 11:18:07 +0200 | nipkow | removed allpairs - use list comprehension! | changeset | files |
Mon, 20 Aug 2007 04:44:35 +0200 | kleing | added header | changeset | files |
Mon, 20 Aug 2007 04:34:31 +0200 | kleing | * HOL-Word: | changeset | files |
Mon, 20 Aug 2007 00:22:18 +0200 | kleing | boolean algebras as locales and numbers as types by Brian Huffman | changeset | files |