| Fri, 24 Jul 2009 21:18:05 +0200 | wenzelm | eliminated OldGoals.prove_goal; | changeset | files |
| Fri, 24 Jul 2009 21:02:34 +0200 | wenzelm | explicit OldGoals; | changeset | files |
| Fri, 24 Jul 2009 20:55:56 +0200 | wenzelm | structure OldGoals: no pervasive names; | changeset | files |
| Fri, 24 Jul 2009 18:58:58 +0200 | wenzelm | renamed functor ProjectRuleFun to Project_Rule; | changeset | files |
| Fri, 24 Jul 2009 12:33:00 +0200 | wenzelm | renamed functor InductFun to Induct; | changeset | files |
| Fri, 24 Jul 2009 12:32:43 +0200 | wenzelm | tuned; | changeset | files |