Fri, 06 Jun 1997 16:02:13 +0200 | oheimb | improved function 'nonreserved' | changeset | files |
Fri, 06 Jun 1997 13:28:40 +0200 | paulson | Removed a few redundant additions of simprules or classical rules | changeset | files |
Fri, 06 Jun 1997 13:26:41 +0200 | paulson | The name bex_conj_distrib was WRONG | changeset | files |
Fri, 06 Jun 1997 12:48:21 +0200 | paulson | Better miniscoping for bounded quantifiers | changeset | files |
Fri, 06 Jun 1997 10:47:16 +0200 | paulson | Tidying and simplification of declarations | changeset | files |
Fri, 06 Jun 1997 10:46:26 +0200 | paulson | Much polishing of proofs | changeset | files |
Fri, 06 Jun 1997 10:22:13 +0200 | paulson | New miniscoping rules for ALL | changeset | files |