| 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 |