Wed, 11 Aug 2010 17:16:02 +0200 | haftmann | avoid arcane Local_Theory.reinit entirely | changeset | files |
Wed, 11 Aug 2010 16:02:03 +0200 | haftmann | more convenient split of class modules: class and class_declaration | changeset | files |
Wed, 11 Aug 2010 15:45:15 +0200 | haftmann | tuned | changeset | files |