| Fri, 25 Feb 2011 12:16:18 +0100 | noschinl | Refactor find_theorems to provide a more general filter_facts method | changeset | files |
| Fri, 25 Feb 2011 08:46:52 +0100 | krauss | removed dead code/unused exports/speculative generality | changeset | files |
| Thu, 24 Feb 2011 21:54:28 +0100 | krauss | recdef -> fun(ction) | changeset | files |
| Thu, 24 Feb 2011 20:52:05 +0100 | krauss | removed unused lemma | changeset | files |
| Thu, 24 Feb 2011 17:54:36 +0100 | krauss | recdef -> fun(ction); | changeset | files |
| Thu, 24 Feb 2011 17:38:05 +0100 | krauss | eliminated clones of List.upto | changeset | files |
| Wed, 23 Feb 2011 17:40:28 +0100 | noschinl | fix non-exhaustive pattern match in find_theorems | changeset | files |
| Wed, 23 Feb 2011 11:42:01 +0100 | hoelzl | merged | changeset | files |