| Thu, 23 Jul 2015 22:13:42 +0200 | wenzelm | more symbols by default, without xsymbols mode; | file | diff | annotate |
| Fri, 19 Jun 2015 23:40:46 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Fri, 19 Jun 2015 21:41:33 +0200 | wenzelm | isabelle update_cartouches; | 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 |
| Tue, 04 Feb 2014 21:29:46 +0000 | paulson | removal of "back", etc. | file | diff | annotate |
| Tue, 03 Sep 2013 01:12:40 +0200 | wenzelm | tuned proofs -- clarified flow of facts wrt. calculation; | file | diff | annotate |
| Mon, 12 Sep 2011 07:55:43 +0200 | nipkow | new fastforce replacing fastsimp - less confusing name | file | diff | annotate |