| 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 |
| Thu, 08 Jul 1999 18:35:44 +0200 | wenzelm | terminal_proof: 2nd method; | changeset | files |
| Thu, 08 Jul 1999 18:35:11 +0200 | wenzelm | 'export'; | changeset | files |