| Fri, 09 Jul 1999 10:45:09 +0200 | paulson | products of signs as equivalences | changeset | files |
| Thu, 08 Jul 1999 18:40:43 +0200 | wenzelm | -B option; | changeset | files |
| Thu, 08 Jul 1999 18:39:34 +0200 | wenzelm | removed old version; | changeset | files |
| Thu, 08 Jul 1999 18:39:08 +0200 | wenzelm | tuned indentation; | changeset | files |
| Thu, 08 Jul 1999 18:37:54 +0200 | wenzelm | added export_chain; | changeset | files |
| Thu, 08 Jul 1999 18:36:57 +0200 | wenzelm | propp: 'concl' patterns; | changeset | files |
| Thu, 08 Jul 1999 18:36:09 +0200 | wenzelm | propp: 'concl' patterns; | changeset | files |