| Thu, 09 Jul 2015 23:46:21 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Sat, 20 Jun 2015 16:42:15 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Sat, 20 Jun 2015 16:31:44 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Thu, 30 Oct 2014 21:02:01 +0100 | haftmann | more simp rules concerning dvd and even/odd | file | diff | annotate |
| Thu, 23 Oct 2014 14:04:05 +0200 | haftmann | downshift of theory Parity in the hierarchy | file | diff | annotate |
| Mon, 20 Oct 2014 12:26:44 +0200 | haftmann | avoid unsafe simp rules | file | diff | annotate |
| Mon, 20 Oct 2014 07:45:58 +0200 | haftmann | augmented and tuned facts on even/odd and division | file | diff | annotate |
| Thu, 11 Sep 2014 19:32:36 +0200 | blanchet | updated news | file | diff | annotate |
| Tue, 09 Sep 2014 20:51:36 +0200 | blanchet | ported Decision_Procs to new datatypes | file | diff | annotate |
| Tue, 09 Sep 2014 20:51:36 +0200 | blanchet | use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries | file | diff | annotate |
| Thu, 27 Feb 2014 21:31:58 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
| Tue, 25 Feb 2014 23:12:48 +0100 | wenzelm | tuned specifications and proofs; | file | diff | annotate |
| Sun, 18 Aug 2013 19:59:19 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Mon, 15 Jul 2013 11:29:19 +0200 | wenzelm | tuned specifications and proofs; | file | diff | annotate |
| Wed, 22 Aug 2012 22:55:41 +0200 | wenzelm | prefer ML_file over old uses; | file | diff | annotate |
| Thu, 12 Apr 2012 18:39:19 +0200 | wenzelm | more standard method setup; | file | diff | annotate |
| Mon, 21 Feb 2011 23:47:19 +0100 | wenzelm | tuned proofs -- eliminated prems; | file | diff | annotate |
| Sun, 24 Oct 2010 20:19:00 +0200 | nipkow | nat_number -> eval_nat_numeral | file | diff | annotate |
| Fri, 30 Oct 2009 13:59:49 +0100 | haftmann | moved Commutative_Ring into session Decision_Procs | file | diff | annotate | base |