| Mon, 06 Feb 2006 20:59:54 +0100 |
wenzelm |
type local_theory;
|
file |
diff |
annotate
|
| 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
|