Fri, 06 Sep 2013 10:56:40 +0200 | noschinl | added examples for Simps_Case_Conv | changeset | files |
Fri, 06 Sep 2013 10:56:40 +0200 | noschinl | allowed less exhaustive patterns | changeset | files |
Fri, 06 Sep 2013 10:56:40 +0200 | noschinl | use case_of_simps | changeset | files |