| Mon, 20 Jul 2009 15:24:15 +0200 | haftmann | less digestible | changeset | files |
| Mon, 20 Jul 2009 11:47:17 +0200 | haftmann | refined outline structure | changeset | files |
| Mon, 20 Jul 2009 19:57:32 +0200 | wenzelm | replaced usedir option -Q by more fine-grained -q; | changeset | files |
| Mon, 20 Jul 2009 13:52:27 +0200 | wenzelm | merged | changeset | files |
| Mon, 20 Jul 2009 09:52:09 +0200 | haftmann | merged | changeset | files |
| Mon, 20 Jul 2009 08:31:12 +0200 | haftmann | closer relation of sets and complete lattices; corresponding consts, defs and syntax at similar places in theory text | changeset | files |
| Wed, 15 Jul 2009 16:00:06 +0200 | haftmann | merged | changeset | files |