| Thu, 08 Jan 1998 18:06:21 +0100 |
oheimb |
*** empty log message ***
|
changeset |
files
|
| Thu, 08 Jan 1998 18:03:36 +0100 |
oheimb |
streamlined specification of included theories
|
changeset |
files
|
| Thu, 08 Jan 1998 18:00:42 +0100 |
oheimb |
corrected Title
|
changeset |
files
|
| Thu, 08 Jan 1998 18:00:08 +0100 |
oheimb |
removed obsolete comment
|
changeset |
files
|
| Thu, 08 Jan 1998 17:56:32 +0100 |
oheimb |
added Univalent
|
changeset |
files
|
| Thu, 08 Jan 1998 17:47:22 +0100 |
oheimb |
removed Eps_eq, ex1_Eps_eq, and some unnecessary parentheses
|
changeset |
files
|
| Thu, 08 Jan 1998 17:44:50 +0100 |
oheimb |
added update_same, update_other, update_triv, and map_of_SomeD
|
changeset |
files
|
| Thu, 08 Jan 1998 17:42:26 +0100 |
oheimb |
replaced fn _ => by K
|
changeset |
files
|
| Thu, 08 Jan 1998 16:52:31 +0100 |
wenzelm |
*** empty log message ***
|
changeset |
files
|
| Thu, 08 Jan 1998 11:24:46 +0100 |
paulson |
New rule: image_subset
|
changeset |
files
|
| Thu, 08 Jan 1998 11:23:18 +0100 |
paulson |
Restored the ciphertext in OR4 in order to make the spec closer to that in
|
changeset |
files
|
| Thu, 08 Jan 1998 11:21:45 +0100 |
paulson |
Tidied by adding more default simprules
|
changeset |
files
|
| Wed, 07 Jan 1998 13:55:54 +0100 |
wenzelm |
adapted to new split order;
|
changeset |
files
|
| Wed, 07 Jan 1998 13:55:29 +0100 |
wenzelm |
adapted to new sort function;
|
changeset |
files
|