| Tue, 19 Mar 2013 14:07:13 +0100 | nipkow | tuned | changeset | files |
| Tue, 19 Mar 2013 13:19:21 +0100 | Andreas Lochbihler | add induction rule for partial_function (tailrec) | changeset | files |
| Mon, 18 Mar 2013 20:02:37 +0100 | wenzelm | prefer ownerless window, to avoid question of potentially changing parent view; | changeset | files |
| Mon, 18 Mar 2013 19:33:25 +0100 | wenzelm | proper parent component for window.init; | changeset | files |
| Mon, 18 Mar 2013 19:20:53 +0100 | kleing | lemma names and a corollary | changeset | files |
| Mon, 18 Mar 2013 14:47:20 +0100 | kleing | managed to eliminate further snippets | changeset | files |
| Mon, 18 Mar 2013 14:27:38 +0100 | kleing | fewer IMP snippets | changeset | files |