| Mon, 20 Aug 2007 19:14:18 +0200 | huffman | use class instead of axclass | changeset | files |
| Mon, 20 Aug 2007 18:54:51 +0200 | wenzelm | theory header: fixed import; | changeset | files |
| Mon, 20 Aug 2007 18:11:09 +0200 | huffman | headers for document generation | changeset | files |
| Mon, 20 Aug 2007 18:10:13 +0200 | nipkow | Final mods for list comprehension | changeset | files |
| Mon, 20 Aug 2007 18:07:49 +0200 | haftmann | renamed code_gen to export_code | changeset | files |
| Mon, 20 Aug 2007 18:07:31 +0200 | haftmann | explizit dependencies | changeset | files |
| Mon, 20 Aug 2007 18:07:30 +0200 | haftmann | using canonical instantiation interface | changeset | files |
| Mon, 20 Aug 2007 18:07:29 +0200 | haftmann | Sup now explicit parameter of complete_lattice | changeset | files |
| Mon, 20 Aug 2007 18:07:28 +0200 | haftmann | turned locales intro classes | changeset | files |
| 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 |