Fri, 06 Aug 1999 11:06:16 +0200 | paulson | some hard propositional examples | changeset | files |
Fri, 06 Aug 1999 11:05:20 +0200 | paulson | new theory ex/svc_test.thy | changeset | files |
Thu, 05 Aug 1999 22:11:43 +0200 | wenzelm | removed obsolete addsimps update_defs; | changeset | files |