Wed, 23 Jul 2014 23:16:44 +0200 | wenzelm | tuned message; | file | diff | annotate |
Sat, 22 Mar 2014 18:15:09 +0100 | wenzelm | more antiquotations; | file | diff | annotate |
Sat, 08 Mar 2014 21:08:10 +0100 | wenzelm | modernized Attrib.check_name/check_src similar to methods (see also a989bdaf8121); | file | diff | annotate |
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 |