Tue, 02 Jun 2015 09:10:05 +0200 | wenzelm | tuned proof; | changeset | files |
Wed, 03 Jun 2015 09:32:49 +0200 | noschinl | merged | changeset | files |
Tue, 02 Jun 2015 13:14:36 +0200 | noschinl | simps_of_case: Better error if split rule is not an equality | changeset | files |