| Mon, 12 Jul 2010 11:21:27 +0200 | haftmann | moved co-regularity to class section; avoid duplicated class_deps | changeset | files |
| Mon, 12 Jul 2010 10:48:37 +0200 | haftmann | dropped superfluous [code del]s | changeset | files |
| Mon, 12 Jul 2010 08:58:27 +0200 | haftmann | merged | changeset | files |
| Mon, 12 Jul 2010 08:58:13 +0200 | haftmann | dropped superfluous [code del]s | changeset | files |
| Mon, 12 Jul 2010 08:58:12 +0200 | haftmann | more regular session structure | changeset | files |
| Sat, 10 Jul 2010 22:39:16 +0200 | wenzelm | regular image setup for HOL-Library (cf. 4915de09b4d3 and ccae4ecd67f4) -- note that document preparation requires a separate session directory, and library.ML is a bit too generic as a file in the default load path; | changeset | files |
| Sat, 10 Jul 2010 21:38:16 +0200 | wenzelm | merged | changeset | files |