| 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
|
| Wed, 06 Aug 1997 11:57:20 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Fri, 18 Jul 1997 13:55:09 +0200 |
wenzelm |
renamed |-> <-| <-> to Parse/PrintRule;
|
file |
diff |
annotate
|
| Wed, 27 Nov 1996 10:40:45 +0100 |
paulson |
Eta-expanded some declarations that are illegal under value polymorphism
|
file |
diff |
annotate
|
| Tue, 18 Jun 1996 16:17:38 +0200 |
paulson |
Translation infixes <->, etc., no longer available at top-level
|
file |
diff |
annotate
|
| Fri, 16 Feb 1996 18:00:47 +0100 |
paulson |
Elimination of fully-functorial style.
|
file |
diff |
annotate
|
| Tue, 30 Jan 1996 13:42:57 +0100 |
clasohm |
expanded tabs
|
file |
diff |
annotate
|
| Tue, 17 Oct 1995 16:53:29 +0100 |
regensbu |
removed incompatibility with sml
|
file |
diff |
annotate
|
| Fri, 06 Oct 1995 17:25:24 +0100 |
regensbu |
added 8bit pragmas
|
file |
diff |
annotate
|