| 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 |