Thu, 26 Feb 1998 11:07:57 +0100 | paulson | New theory, Vimage | changeset | files |
Thu, 26 Feb 1998 11:07:37 +0100 | paulson | Proved choice and bchoice; changed Fun.thy -> thy | changeset | files |
Thu, 26 Feb 1998 10:48:19 +0100 | wenzelm | *** empty log message *** | changeset | files |