| 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 |
| 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 |
| Thu, 08 Jul 1999 18:34:59 +0200 | wenzelm | propp: 'concl' patterns; | changeset | files |
| Thu, 08 Jul 1999 18:32:43 +0200 | wenzelm | propp: 'concl' patterns; | changeset | files |
| Thu, 08 Jul 1999 18:31:04 +0200 | wenzelm | improved error msgs of cterm_instantiate; | changeset | files |
| Thu, 08 Jul 1999 18:30:21 +0200 | wenzelm | aprop: ??id, ...; | changeset | files |
| Thu, 08 Jul 1999 18:30:00 +0200 | wenzelm | improved error msgs of instantiate; | changeset | files |