Wed, 02 Apr 2014 13:54:50 +0200 | wenzelm | suppress slightly odd completion of "simp"; | file | diff | annotate |
Fri, 06 Sep 2013 12:05:01 +0200 | wenzelm | more standard header; | 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 |