Sun, 03 Dec 2017 22:28:19 +0100 | wenzelm | misc tuning and modernization; | file | diff | annotate |
Sun, 29 Jan 2017 11:59:48 +0100 | berghofe | Added new / improved tactics for fields and rings | 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 |
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 |