| Mon, 16 Mar 2015 15:30:00 +0000 | paulson | The factorial function, "fact", now has type "nat => 'a" | file | diff | annotate |
| Fri, 06 Mar 2015 12:48:03 +0000 | paulson | A few new lemmas and a bit of tidying up | file | diff | annotate |
| Wed, 18 Feb 2015 22:46:47 +0100 | haftmann | inlined rules to free user-space from technical names | file | diff | annotate |
| Sun, 02 Nov 2014 17:09:04 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Sat, 05 Jul 2014 11:01:53 +0200 | haftmann | prefer ac_simps collections over separate name bindings for add and mult | file | diff | annotate |
| Wed, 07 May 2014 12:25:35 +0200 | hoelzl | avoid the Complex constructor, use the more natural Re/Im view; moved csqrt to Complex. | 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 |