Fri, 04 Jul 2014 20:18:47 +0200 | haftmann | reduced name variants for assoc and commute on plus and mult | file | diff | annotate |
Sat, 12 Apr 2014 17:26:27 +0200 | nipkow | made mult_pos_pos a simp rule | file | diff | annotate |
Wed, 09 Apr 2014 09:37:47 +0200 | hoelzl | revert c1bbd3e22226, a14831ac3023, and 36489d77c484: divide_minus_left/right are again simp rules | file | diff | annotate |
Fri, 04 Apr 2014 17:58:25 +0100 | paulson | divide_minus_left divide_minus_right are in field_simps but are not default simprules | file | diff | annotate |
Fri, 01 Nov 2013 18:51:14 +0100 | haftmann | more simplification rules on unary and binary minus | file | diff | annotate |
Thu, 31 Oct 2013 11:44:20 +0100 | haftmann | more convenient place for a theory in solitariness | file | diff | annotate | base |