| Fri, 25 Feb 2011 20:07:48 +0100 | nipkow | Some cleaning up | changeset | files |
| Fri, 25 Feb 2011 17:11:24 +0100 | krauss | updated generated files | changeset | files |
| Fri, 25 Feb 2011 17:11:05 +0100 | krauss | fixed manual (rule no longer exists) | changeset | files |
| Fri, 25 Feb 2011 16:59:48 +0100 | krauss | removed support for tail-recursion from function package (now implemented by partial_function) | changeset | files |
| Fri, 25 Feb 2011 16:57:44 +0100 | krauss | reactivate time measurement (partly reverting c27b0b37041a); | changeset | files |
| Fri, 25 Feb 2011 16:57:43 +0100 | krauss | generalize find_theorems filters to work on raw propositions, too | changeset | files |
| Fri, 25 Feb 2011 14:25:52 +0100 | nipkow | merged | changeset | files |