| Mon, 09 Jun 1997 10:21:05 +0200 | paulson | Useful new lemma | changeset | files |
| Fri, 06 Jun 1997 21:49:47 +0200 | wenzelm | eliminated non-ASCII; | changeset | files |
| Fri, 06 Jun 1997 19:30:06 +0200 | nipkow | Added | changeset | files |
| 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 |