| Tue, 31 Jan 2006 18:19:36 +0100 | wenzelm | axiomatization: retrict parameters to occurrences in specs; | file | diff | annotate |
| Sat, 28 Jan 2006 17:29:03 +0100 | wenzelm | added axiomatization_loc, definition_loc; | file | diff | annotate |
| Fri, 27 Jan 2006 19:03:16 +0100 | wenzelm | swapped Toplevel.theory_context; | file | diff | annotate |
| Wed, 25 Jan 2006 00:21:44 +0100 | wenzelm | added definition(_i); | file | diff | annotate |
| Tue, 24 Jan 2006 00:43:34 +0100 | wenzelm | renamed axiomatize(_i) to axiomatization(_i); | file | diff | annotate |
| Sat, 21 Jan 2006 23:02:14 +0100 | wenzelm | simplified type attribute; | file | diff | annotate |
| Fri, 13 Jan 2006 01:13:11 +0100 | wenzelm | uniform handling of fixes; | file | diff | annotate |
| Tue, 10 Jan 2006 19:33:39 +0100 | wenzelm | generic attributes; | file | diff | annotate |
| Sat, 07 Jan 2006 23:28:01 +0100 | wenzelm | Theory specifications --- with type-inference, but no internal polymorphism. | file | diff | annotate |