| Tue, 06 Oct 2015 17:47:28 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Fri, 06 Mar 2015 23:57:01 +0100 | wenzelm | clarified context; | file | diff | annotate |
| Fri, 06 Mar 2015 15:58:56 +0100 | wenzelm | Thm.cterm_of and Thm.ctyp_of operate on local context; | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Sun, 04 May 2014 19:08:29 +0200 | blanchet | tuned structure name | file | diff | annotate |
| Sun, 04 May 2014 18:57:45 +0200 | blanchet | renamed 'dpll_p' to 'cdclite', to avoid confusion with the old 'dpll' and to reflect the idea that the new prover implements some ideas from CDCL not in DPLL -- this follows its author's, Sascha B.'s, wish | file | diff | annotate |
| Thu, 01 May 2014 22:56:59 +0200 | boehmes | added internal proof-producing SAT solver | file | diff | annotate |