| Mon, 01 Mar 1999 18:37:52 +0100 |
paulson |
tidied
|
changeset |
files
|
| Mon, 01 Mar 1999 18:37:23 +0100 |
paulson |
simpler proofs of congruence rules
|
changeset |
files
|
| Mon, 01 Mar 1999 18:11:54 +0100 |
paulson |
new results e.g. about Pow; new simprules Union_image_eq, Inter_image_eq
|
changeset |
files
|
| Mon, 01 Mar 1999 15:57:29 +0100 |
paulson |
simpler proofs of congruence rules
|
changeset |
files
|
| Mon, 22 Feb 1999 10:21:59 +0100 |
paulson |
new image laws
|
changeset |
files
|
| Mon, 22 Feb 1999 10:20:25 +0100 |
paulson |
added a commment on the "ext" rule
|
changeset |
files
|
| Mon, 22 Feb 1999 10:19:32 +0100 |
paulson |
new theorems Pow_0 and Pow_insert; renamed other Pow theorems
|
changeset |
files
|
| Mon, 22 Feb 1999 10:16:59 +0100 |
paulson |
added rev_bexI
|
changeset |
files
|
| Thu, 18 Feb 1999 12:15:55 +0100 |
wenzelm |
fixed order of multiple -m options;
|
changeset |
files
|
| Thu, 18 Feb 1999 12:05:16 +0100 |
grobauer |
fixed geometry;
|
changeset |
files
|
| Tue, 16 Feb 1999 10:54:55 +0100 |
paulson |
tidying in conjuntion with the TISSEC paper; replaced (unit option)
|
changeset |
files
|
| Tue, 16 Feb 1999 10:50:35 +0100 |
paulson |
new theorem image_Union_eq
|
changeset |
files
|
| Sat, 13 Feb 1999 22:08:54 +0100 |
wenzelm |
foldl_string;
|
changeset |
files
|
| Fri, 12 Feb 1999 14:40:56 +0100 |
oheimb |
renamed space2 to spacespace
|
changeset |
files
|