| Tue, 28 Feb 2006 11:09:29 +0100 | paulson | fixed but in freeze_spec | changeset | files |
| Tue, 28 Feb 2006 11:07:54 +0100 | paulson | splitting up METAHYPS into smaller functions | changeset | files |
| Tue, 28 Feb 2006 11:07:13 +0100 | paulson | typos | changeset | files |
| Mon, 27 Feb 2006 17:37:37 +0100 | urbanc | added a finite_guess tactic, which solves | changeset | files |
| Mon, 27 Feb 2006 15:51:37 +0100 | haftmann | class package and codegen refinements | changeset | files |
| Mon, 27 Feb 2006 15:49:56 +0100 | haftmann | added nbe | changeset | files |
| 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 |
| Sun, 26 Feb 2006 22:25:17 +0100 | urbanc | replaced the lemma at_two by at_different; | changeset | files |