Wed, 06 Jul 1994 12:51:27 +0200 |
wenzelm |
added raw_unify;
|
file |
diff |
annotate
|
Thu, 16 Jun 1994 12:04:33 +0200 |
wenzelm |
added ext_tsig_subclass, ext_tsig_defsort;
|
file |
diff |
annotate
|
Thu, 09 Jun 1994 11:00:01 +0200 |
wenzelm |
restored functor sig;
|
file |
diff |
annotate
|
Thu, 26 May 1994 16:45:08 +0200 |
wenzelm |
replaced "logic" by logicC;
|
file |
diff |
annotate
|
Thu, 03 Feb 1994 13:56:44 +0100 |
wenzelm |
(this is a preliminary release)
|
file |
diff |
annotate
|
Tue, 21 Dec 1993 16:26:40 +0100 |
nipkow |
Necessary changes to accomodate type abbreviations.
|
file |
diff |
annotate
|
Mon, 06 Dec 1993 17:05:10 +0100 |
nipkow |
added rep_tsig
Isabelle93
|
file |
diff |
annotate
|
Mon, 29 Nov 1993 12:10:17 +0100 |
nipkow |
added logical_types
|
file |
diff |
annotate
|
Thu, 16 Sep 1993 12:20:38 +0200 |
clasohm |
Initial revision
|
file |
diff |
annotate
|