Wed, 30 Jun 1999 13:42:47 +0200 |
wenzelm |
more robust trans rules;
|
changeset |
files
|
Wed, 30 Jun 1999 12:24:32 +0200 |
wenzelm |
Isar.sync_main;
|
changeset |
files
|
Wed, 30 Jun 1999 12:23:46 +0200 |
wenzelm |
added sync;
|
changeset |
files
|
Wed, 30 Jun 1999 12:23:34 +0200 |
wenzelm |
sync token;
|
changeset |
files
|
Wed, 30 Jun 1999 12:22:45 +0200 |
wenzelm |
sync;
|
changeset |
files
|
Wed, 30 Jun 1999 12:22:31 +0200 |
wenzelm |
added sync marker;
|
changeset |
files
|
Wed, 30 Jun 1999 09:47:16 +0200 |
nipkow |
New thm trancl_trans_induct
|
changeset |
files
|
Tue, 29 Jun 1999 11:58:21 +0200 |
nipkow |
Bad translation fixed.
|
changeset |
files
|
Mon, 28 Jun 1999 23:05:19 +0200 |
wenzelm |
updated;
|
changeset |
files
|
Mon, 28 Jun 1999 23:02:38 +0200 |
wenzelm |
improved RANGE;
|
changeset |
files
|
Mon, 28 Jun 1999 23:02:03 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Mon, 28 Jun 1999 21:48:36 +0200 |
wenzelm |
cond_extern_table;
|
changeset |
files
|
Mon, 28 Jun 1999 21:47:55 +0200 |
wenzelm |
added presume command;
|
changeset |
files
|
Mon, 28 Jun 1999 21:47:04 +0200 |
wenzelm |
cond_extern_table;
|
changeset |
files
|