| Wed, 05 Nov 1997 15:36:01 +0100 |
oheimb |
*** empty log message ***
|
changeset |
files
|
| Wed, 05 Nov 1997 14:00:49 +0100 |
paulson |
Now introduces Safe_tac
|
changeset |
files
|
| Wed, 05 Nov 1997 13:50:59 +0100 |
paulson |
Ran expandshort, especially to introduce Safe_tac
|
changeset |
files
|
| Wed, 05 Nov 1997 13:50:16 +0100 |
paulson |
Adapted to removal of UN1_I, etc
|
changeset |
files
|
| 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
|