| Wed, 11 May 1994 12:14:18 +0200 |
clasohm |
moved 'filter is_xid' in syn_ext
|
changeset |
files
|
| Mon, 09 May 1994 11:11:37 +0200 |
clasohm |
syntax_error now removes duplicate tokens in its output and doesn't
|
changeset |
files
|
| Fri, 06 May 1994 15:49:23 +0200 |
lcp |
ZF/indrule/mk_pred_typ: corrected pattern to include Abs, allowing it to
|
changeset |
files
|
| Fri, 06 May 1994 15:35:35 +0200 |
lcp |
renaming/removal of filenames to correct case
|
changeset |
files
|
| Fri, 06 May 1994 15:16:11 +0200 |
lcp |
renaming/removal of filenames to correct case
|
changeset |
files
|
| Fri, 06 May 1994 15:02:57 +0200 |
lcp |
renaming/removal of filenames to correct case
|
changeset |
files
|
| Fri, 06 May 1994 13:50:36 +0200 |
clasohm |
improved syntax error:
|
changeset |
files
|
| Wed, 04 May 1994 18:00:14 +0200 |
lcp |
CTT.ML/SumE_fst,SumE_snd: tidied
|
changeset |
files
|
| Wed, 04 May 1994 17:47:30 +0200 |
lcp |
Bool.ML: replaced many rewrite_goals_tac calls by prove_goalw
|
changeset |
files
|
| Tue, 03 May 1994 18:38:28 +0200 |
lcp |
final Springer version
|
changeset |
files
|
| Tue, 03 May 1994 18:36:18 +0200 |
lcp |
post-CRC corrections
|
changeset |
files
|
| Tue, 03 May 1994 18:27:30 +0200 |
lcp |
post-CRC corrections
|
changeset |
files
|
| Tue, 03 May 1994 18:12:54 +0200 |
lcp |
post-CRC corrections
|
changeset |
files
|
| Tue, 03 May 1994 18:07:41 +0200 |
lcp |
post-CRC corrections
|
changeset |
files
|
| Tue, 03 May 1994 16:55:47 +0200 |
lcp |
CTT/Arith.ML: replaced many rewrite_goals_tac calls by prove_goalw
|
changeset |
files
|
| Tue, 03 May 1994 15:14:54 +0200 |
lcp |
removal of obsolete type-declaration syntax
|
changeset |
files
|
| Tue, 03 May 1994 15:00:00 +0200 |
lcp |
removal of obsolete type-declaration syntax
|
changeset |
files
|
| Tue, 03 May 1994 11:28:51 +0200 |
lcp |
removal of obsolete type-declaration syntax
|
changeset |
files
|
| Tue, 03 May 1994 11:17:08 +0200 |
lcp |
post-CRC corrections
|
changeset |
files
|
| Tue, 03 May 1994 10:52:32 +0200 |
lcp |
post-CRC corrections
|
changeset |
files
|
| Tue, 03 May 1994 10:40:24 +0200 |
lcp |
post-CRC corrections
|
changeset |
files
|
| Mon, 02 May 1994 12:34:56 +0200 |
wenzelm |
changed translation of type applications according to new grammar;
|
changeset |
files
|
| Wed, 27 Apr 1994 11:27:33 +0200 |
lcp |
added many more filenames to FILES and EX_FILES
|
changeset |
files
|
| Tue, 26 Apr 1994 14:48:41 +0200 |
clasohm |
made a few cosmetic changes
|
changeset |
files
|