| Tue, 03 Sep 2013 01:12:40 +0200 | wenzelm | tuned proofs -- clarified flow of facts wrt. calculation; | file | diff | annotate |
| Wed, 07 Sep 2011 16:37:50 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Mon, 21 Feb 2011 23:47:19 +0100 | wenzelm | tuned proofs -- eliminated prems; | file | diff | annotate |
| Fri, 30 Oct 2009 13:59:49 +0100 | haftmann | moved Commutative_Ring into session Decision_Procs | file | diff | annotate | base |