| Mon, 18 Jul 1994 12:22:30 +0200 |
nipkow |
added init_thy_reader and removed extend_theory
|
file |
diff |
annotate
|
| Fri, 22 Apr 1994 18:18:37 +0200 |
lcp |
final Springer copy
|
file |
diff |
annotate
|
| Fri, 15 Apr 1994 17:42:33 +0200 |
lcp |
penultimate Springer draft
|
file |
diff |
annotate
|
| Mon, 21 Mar 1994 11:02:57 +0100 |
lcp |
first draft of Springer book
|
file |
diff |
annotate
|
| Tue, 01 Mar 1994 17:21:47 +0100 |
nipkow |
update towards LNCS
|
file |
diff |
annotate
|
| Sat, 26 Feb 1994 16:27:45 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Mon, 06 Dec 1993 09:35:35 +0100 |
nipkow |
Typos and style
|
file |
diff |
annotate
|
| Fri, 26 Nov 1993 16:35:38 +0100 |
lcp |
Minor edits to discussion of use_thy
|
file |
diff |
annotate
|
| Thu, 25 Nov 1993 14:32:54 +0100 |
clasohm |
changed beginning of "Reading a new theory", added index "automatic loading"
|
file |
diff |
annotate
|
| Thu, 25 Nov 1993 11:49:21 +0100 |
wenzelm |
added subsection 'Classes and types';
|
file |
diff |
annotate
|
| Thu, 25 Nov 1993 10:29:40 +0100 |
clasohm |
added index commands, removed last paragraph of "Using Poly/ML"
|
file |
diff |
annotate
|
| Mon, 22 Nov 1993 18:26:46 +0100 |
nipkow |
minor changes
|
file |
diff |
annotate
|
| Mon, 22 Nov 1993 16:03:36 +0100 |
clasohm |
added chapter "Defining Theories" and made changes for new Readthy functions
|
file |
diff |
annotate
|
| Wed, 10 Nov 1993 05:00:57 +0100 |
lcp |
Initial revision
|
file |
diff |
annotate
|