| Fri, 17 Dec 2010 20:21:35 +0100 | wenzelm | more explicit references to structure Raw_Simplifier; | changeset | files |
| Fri, 17 Dec 2010 18:38:33 +0100 | wenzelm | merged | changeset | files |
| Fri, 17 Dec 2010 18:33:35 +0100 | wenzelm | merged | changeset | files |
| Fri, 17 Dec 2010 18:15:56 +0100 | wenzelm | merged | changeset | files |
| Fri, 17 Dec 2010 18:10:37 +0100 | wenzelm | Command 'type_synonym' (with single argument) supersedes 'types' (legacy feature); | changeset | files |
| Fri, 17 Dec 2010 18:32:40 +0100 | haftmann | dropped slightly odd Conv.tap_thy | changeset | files |
| Fri, 17 Dec 2010 18:24:44 +0100 | haftmann | avoid slightly odd Conv.tap_thy | changeset | files |