| Fri, 06 Sep 2013 12:05:01 +0200 | wenzelm | more standard header; | file | diff | annotate |
| Fri, 06 Sep 2013 10:56:40 +0200 | noschinl | allowed less exhaustive patterns | file | diff | annotate |
| Fri, 06 Sep 2013 10:56:40 +0200 | noschinl | added simps_of_case and case_of_simps to convert between simps and case rules | file | diff | annotate |