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 |