| Tue, 31 Dec 2013 14:29:16 +0100 | wenzelm | proper context for norm_hhf and derived operations; | file | diff | annotate |
| Tue, 12 Nov 2013 13:47:24 +0100 | blanchet | ported 'Simps_Case_Conv' to use new 'Ctr_Sugar' abstraction | 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 | 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 |