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 |
Fri, 12 Feb 1999 13:56:21 +0100 | wenzelm | tuned pretty format lookup; | changeset | files |
Fri, 12 Feb 1999 13:55:54 +0100 | wenzelm | pretty_thm: quote terms (separately); | changeset | files |
Thu, 11 Feb 1999 21:25:21 +0100 | wenzelm | Symbol.output subject to print mode; | changeset | files |