Wed, 05 Dec 2001 03:07:44 +0100 | wenzelm | tuned declarations; | changeset | files |
Wed, 05 Dec 2001 03:06:05 +0100 | wenzelm | tuned; | changeset | files |
Wed, 05 Dec 2001 03:05:39 +0100 | wenzelm | added ex/First_Order_Logic.thy, ex/document/root.tex; | changeset | files |