| Wed, 05 Dec 2001 03:12:52 +0100 | wenzelm | simplified (and clarified) integration with Pure/ContextRules; | changeset | files |
| Wed, 05 Dec 2001 03:11:05 +0100 | wenzelm | iff?: refer to Pure/ContextRules; | changeset | files |
| Wed, 05 Dec 2001 03:10:06 +0100 | wenzelm | ContextRules.intro_bang_global; | changeset | files |
| Wed, 05 Dec 2001 03:09:21 +0100 | wenzelm | added add_rule, del_rule; | changeset | files |
| 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 |