Mon, 29 Dec 2008 17:56:37 +0100 | haftmann | pretty printer for bindings | changeset | files |
Mon, 29 Dec 2008 14:08:08 +0100 | haftmann | adapted HOL source structure to distribution layout | changeset | files |
Mon, 29 Dec 2008 16:45:00 +0100 | wenzelm | tuned; | changeset | files |
Mon, 29 Dec 2008 16:44:49 +0100 | wenzelm | more markup elements; | changeset | files |
Mon, 29 Dec 2008 15:23:56 +0100 | wenzelm | tuned; | changeset | files |
Mon, 29 Dec 2008 15:16:25 +0100 | wenzelm | merged | changeset | files |