| Wed, 05 Nov 1997 13:45:01 +0100 |
paulson |
Adapted to removal of UN1_I, etc
|
changeset |
files
|
| Wed, 05 Nov 1997 13:32:07 +0100 |
paulson |
UNIV now a constant; UNION1, INTER1 now translations and no longer have
|
changeset |
files
|
| Wed, 05 Nov 1997 13:29:47 +0100 |
paulson |
Expandshort; new theorem le_square
|
changeset |
files
|
| Wed, 05 Nov 1997 13:27:58 +0100 |
paulson |
generalized UNION1 to UNION
|
changeset |
files
|
| Wed, 05 Nov 1997 13:27:29 +0100 |
paulson |
Tidied Key_supply3
|
changeset |
files
|
| Wed, 05 Nov 1997 13:26:19 +0100 |
paulson |
fixed comment
|
changeset |
files
|
| Wed, 05 Nov 1997 13:25:34 +0100 |
paulson |
UNIV & UNION1
|
changeset |
files
|
| Wed, 05 Nov 1997 13:23:46 +0100 |
paulson |
Ran expandshort, especially to introduce Safe_tac
|
changeset |
files
|
| Wed, 05 Nov 1997 13:14:15 +0100 |
paulson |
Ran expandshort, especially to introduce Safe_tac
|
changeset |
files
|
| Wed, 05 Nov 1997 11:49:34 +0100 |
wenzelm |
adapted typed_print_translation;
|
changeset |
files
|
| Wed, 05 Nov 1997 11:49:07 +0100 |
wenzelm |
tuned record_info;
|
changeset |
files
|
| Wed, 05 Nov 1997 11:45:51 +0100 |
wenzelm |
fixed exception OPTION;
|
changeset |
files
|
| Wed, 05 Nov 1997 11:43:37 +0100 |
wenzelm |
adapted pure_trfunsT;
|
changeset |
files
|
| Wed, 05 Nov 1997 11:42:19 +0100 |
wenzelm |
print translation: added show_sorts argument;
|
changeset |
files
|
| Wed, 05 Nov 1997 11:41:46 +0100 |
wenzelm |
adapted syn_ext_trfunsT;
|
changeset |
files
|