Mon, 03 Sep 2012 09:15:58 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
Tue, 24 Jul 2012 17:34:46 +0200 | wenzelm | modernized imports; | file | diff | annotate |
Fri, 30 Oct 2009 13:59:49 +0100 | haftmann | moved Commutative_Ring into session Decision_Procs | file | diff | annotate | base |