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 |