| Mon, 27 Feb 2006 14:34:03 +0100 | nipkow | added temp. nbe test | changeset | files |
| Mon, 27 Feb 2006 14:03:31 +0100 | nipkow | added nbe, updated neb_* | changeset | files |
| Mon, 27 Feb 2006 14:03:15 +0100 | nipkow | added nbe | changeset | files |
| Mon, 27 Feb 2006 12:20:21 +0100 | ballarin | Typo. | changeset | files |
| Mon, 27 Feb 2006 12:14:36 +0100 | urbanc | added support for arbitrary atoms in the simproc | changeset | files |
| Sun, 26 Feb 2006 23:01:50 +0100 | wenzelm | put_thms: do_index; | changeset | files |
| Sun, 26 Feb 2006 23:01:48 +0100 | wenzelm | rewrite_goals_rule_aux: actually use prems if present; | changeset | files |
| Sun, 26 Feb 2006 23:01:47 +0100 | wenzelm | add_local: do_index; | changeset | files |