Sat, 01 Oct 2016 12:03:27 +0200 | wenzelm | misc tuning for release; | changeset | files |
Sat, 01 Oct 2016 11:14:00 +0200 | wenzelm | added lemma; | changeset | files |
Fri, 30 Sep 2016 17:12:50 +0100 | paulson | Trying out "subgoal", and no more [| |] | changeset | files |