| Thu, 12 Aug 2010 13:53:42 +0200 | haftmann | Class.declare -> Class.const | file | diff | annotate |
| Thu, 12 Aug 2010 13:42:13 +0200 | haftmann | named target is optional; explicit Name_Target.reinit | file | diff | annotate |
| Thu, 12 Aug 2010 13:28:18 +0200 | haftmann | Named_Target.init: empty string represents theory target | file | diff | annotate |
| Thu, 12 Aug 2010 13:23:46 +0200 | haftmann | Named_Target.theory_init | file | diff | annotate |
| Wed, 11 Aug 2010 17:19:27 +0200 | haftmann | remove reinit operation alltogether | file | diff | annotate |
| Wed, 11 Aug 2010 16:02:03 +0200 | haftmann | more convenient split of class modules: class and class_declaration | file | diff | annotate |
| Wed, 11 Aug 2010 15:45:15 +0200 | haftmann | tuned | file | diff | annotate |
| Wed, 11 Aug 2010 14:45:38 +0200 | haftmann | renamed Theory_Target to the more appropriate Named_Target | file | diff | annotate | base |