| Mon, 25 Feb 2008 17:27:41 +0100 | wenzelm | welcome: actually check for ChangeLog.gz; | changeset | files |
| Mon, 25 Feb 2008 17:27:38 +0100 | wenzelm | tuned structure Distribution; | changeset | files |
| Mon, 25 Feb 2008 16:31:20 +0100 | wenzelm | implicit use of LocalTheory.group etc.; | changeset | files |
| Mon, 25 Feb 2008 16:31:19 +0100 | wenzelm | maintain group in lthy data, implicit use in operations; | changeset | files |
| Mon, 25 Feb 2008 16:31:18 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 25 Feb 2008 16:31:17 +0100 | wenzelm | LocalTheory.set_group for user command; | changeset | files |
| Mon, 25 Feb 2008 16:31:15 +0100 | wenzelm | inductive package: simplified group handling; | changeset | files |