| Mon, 20 Aug 2007 18:07:26 +0200 | haftmann | updated keywords | changeset | files |
| Mon, 20 Aug 2007 18:07:25 +0200 | haftmann | conciliated Inf/Inf_fin | changeset | files |
| Mon, 20 Aug 2007 17:46:32 +0200 | wenzelm | type_check: tuned singleton funs case; | changeset | files |
| Mon, 20 Aug 2007 17:46:31 +0200 | wenzelm | theory header: more precise imports; | changeset | files |
| Mon, 20 Aug 2007 17:34:04 +0200 | huffman | Word/document/root.tex | changeset | files |
| Mon, 20 Aug 2007 17:31:59 +0200 | huffman | new root.tex for HOL-Word | changeset | files |
| 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 |