| Mon, 15 Oct 2001 20:42:06 +0200 | wenzelm | setsum syntax; | changeset | files |
| Mon, 15 Oct 2001 20:41:14 +0200 | wenzelm | intro! and elim! rules; | changeset | files |
| Mon, 15 Oct 2001 20:36:48 +0200 | wenzelm | tuned NetRules; | changeset | files |
| Mon, 15 Oct 2001 20:36:04 +0200 | wenzelm | Tactic.orderlist; | changeset | files |
| Mon, 15 Oct 2001 20:35:42 +0200 | wenzelm | ObjectLogic.rulify; | changeset | files |
| Mon, 15 Oct 2001 20:35:10 +0200 | wenzelm | Tactic.rewrite_cterm; | changeset | files |
| Mon, 15 Oct 2001 20:34:44 +0200 | wenzelm | GPLed; | changeset | files |