Thu, 09 Dec 2004 15:49:40 +0100 | paulson | Comments and other tweaks by Jia | changeset | files |
Thu, 09 Dec 2004 13:33:44 +0100 | nipkow | *** empty log message *** | changeset | files |
Thu, 09 Dec 2004 12:03:06 +0100 | paulson | converted Datatype_Universe to new-style theory | changeset | files |