| Fri, 30 Apr 1999 18:10:03 +0200 |
wenzelm |
theory data: copy;
|
file |
diff |
annotate
|
| Thu, 22 Apr 1999 13:03:10 +0200 |
wenzelm |
rep_datatype syntax: 'induction' instead of 'induct';
|
file |
diff |
annotate
|
| Fri, 16 Apr 1999 14:49:57 +0200 |
wenzelm |
print_datatypes;
|
file |
diff |
annotate
|
| Wed, 14 Apr 1999 15:58:01 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Wed, 14 Apr 1999 14:41:01 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Wed, 17 Mar 1999 16:53:46 +0100 |
wenzelm |
Theory.sign_of;
|
file |
diff |
annotate
|
| Wed, 17 Mar 1999 13:50:51 +0100 |
wenzelm |
rep_datatype: '_i' version, attributes, outer syntax;
|
file |
diff |
annotate
|
| Thu, 11 Mar 1999 21:59:26 +0100 |
wenzelm |
outer syntax for 'datatype';
|
file |
diff |
annotate
|
| Fri, 05 Mar 1999 12:11:54 +0100 |
berghofe |
Fixed bug in add_datatype_axm:
|
file |
diff |
annotate
|
| Tue, 12 Jan 1999 16:42:21 +0100 |
wenzelm |
get_tthms witness theorems;
|
file |
diff |
annotate
|
| Tue, 12 Jan 1999 13:54:51 +0100 |
wenzelm |
eliminated tthm type and Attribute structure;
|
file |
diff |
annotate
|
| Mon, 16 Nov 1998 11:14:44 +0100 |
wenzelm |
Attribute.tthms_of;
|
file |
diff |
annotate
|
| Wed, 21 Oct 1998 17:55:18 +0200 |
berghofe |
Changed interface of rep_datatype: Characteristic theorems
|
file |
diff |
annotate
|
| Fri, 16 Oct 1998 19:25:58 +0200 |
berghofe |
Fixed bug (improper handling of flag flat_names).
|
file |
diff |
annotate
|
| Fri, 16 Oct 1998 18:54:55 +0200 |
berghofe |
- Changed structure of name spaces
|
file |
diff |
annotate
|
| Sat, 26 Sep 1998 16:13:05 +0200 |
berghofe |
Package now chooses type variable names more carefully to
|
file |
diff |
annotate
|
| Thu, 06 Aug 1998 17:51:03 +0200 |
berghofe |
Improved well-formedness check.
|
file |
diff |
annotate
|
| Fri, 24 Jul 1998 12:50:06 +0200 |
berghofe |
New datatype definition package
|
file |
diff |
annotate
|