| 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
|