| Sun, 13 Sep 2015 21:06:58 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sun, 13 Sep 2015 20:20:16 +0200 | wenzelm | renamed method "goals" to "goal_cases" to emphasize its meaning; | changeset | files |
| Sun, 13 Sep 2015 16:50:12 +0200 | wenzelm | tuned proofs; | changeset | files |