| Tue, 12 Jan 1999 13:54:51 +0100 |
wenzelm |
eliminated tthm type and Attribute structure;
|
file |
diff |
annotate
|
| Wed, 12 Aug 1998 12:17:20 +0200 |
slotosch |
eliminated fabs,fapp.
|
file |
diff |
annotate
|
| Wed, 29 Apr 1998 11:36:53 +0200 |
wenzelm |
adapted to new PureThy.add_axioms_i;
|
file |
diff |
annotate
|
| Tue, 24 Mar 1998 15:57:18 +0100 |
oheimb |
added cproj', and therefore extended prj
|
file |
diff |
annotate
|
| Tue, 04 Nov 1997 14:40:29 +0100 |
oheimb |
* removed "axioms" and "generated by" section
|
file |
diff |
annotate
|
| Thu, 30 Oct 1997 14:19:01 +0100 |
oheimb |
domain package:
|
file |
diff |
annotate
|
| Mon, 27 Oct 1997 11:34:33 +0100 |
oheimb |
adapted domain and ax_ops package for name spaces
|
file |
diff |
annotate
|
| Thu, 02 Oct 1997 22:54:00 +0200 |
wenzelm |
fully qualified names: Theory.add_XXX;
|
file |
diff |
annotate
|
| Mon, 17 Feb 1997 11:01:10 +0100 |
slotosch |
using types one = unit lift and translations causes troubles between
|
file |
diff |
annotate
|
| Thu, 19 Dec 1996 17:02:27 +0100 |
oheimb |
corrected headers
|
file |
diff |
annotate
|
| Wed, 03 Apr 1996 19:27:14 +0200 |
oheimb |
Updated: 01-Mar-96 when functional strictified, copy_def based on when_def
|
file |
diff |
annotate
|
| Tue, 30 Jan 1996 13:42:57 +0100 |
clasohm |
expanded tabs
|
file |
diff |
annotate
|
| Fri, 06 Oct 1995 17:25:24 +0100 |
regensbu |
added 8bit pragmas
|
file |
diff |
annotate
|