| Thu, 08 Jan 1998 18:28:03 +0100 |
wenzelm |
index.html for Isabelle Distribution Area;
|
changeset |
files
|
| Thu, 08 Jan 1998 18:25:36 +0100 |
wenzelm |
updated to Isabelle98;
|
changeset |
files
|
| Thu, 08 Jan 1998 18:24:45 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 08 Jan 1998 18:19:48 +0100 |
wenzelm |
fixed thm_less;
|
changeset |
files
|
| Thu, 08 Jan 1998 18:10:34 +0100 |
paulson |
Expressed most Oops rules using Notes instead of Says, and other tidying
|
changeset |
files
|
| Thu, 08 Jan 1998 18:09:47 +0100 |
oheimb |
added split_paired_Ex to the implicit simpset
|
changeset |
files
|
| Thu, 08 Jan 1998 18:09:07 +0100 |
oheimb |
added select_equality to the implicit claset
|
changeset |
files
|
| Thu, 08 Jan 1998 18:08:43 +0100 |
oheimb |
added select_equality to the implicit claset
|
changeset |
files
|
| Thu, 08 Jan 1998 18:07:06 +0100 |
oheimb |
added newline at end of file
|
changeset |
files
|
| 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
|
| Wed, 07 Jan 1998 13:53:42 +0100 |
wenzelm |
improved targets;
|
changeset |
files
|