isabelle: Changelog

boehmes [Thu, 01 May 2014 23:04:07 +0200] rev 56819

disable bad Z3 proof

boehmes [Thu, 01 May 2014 22:57:38 +0200] rev 56818

use SMT2 for Boogie examples

boehmes [Thu, 01 May 2014 22:57:36 +0200] rev 56817

less verbose SAT tactic

boehmes [Thu, 01 May 2014 22:57:34 +0200] rev 56816

use internal proof-producing SAT solver for more efficient SMT proof replay

boehmes [Thu, 01 May 2014 22:56:59 +0200] rev 56815

added internal proof-producing SAT solver

wenzelm [Thu, 01 May 2014 22:41:03 +0200] rev 56814

tuned output;

haftmann [Thu, 01 May 2014 10:20:20 +0200] rev 56813

separate ML module

haftmann [Thu, 01 May 2014 09:30:36 +0200] rev 56812

centralized upper/lowercase name mangling

haftmann [Thu, 01 May 2014 09:30:35 +0200] rev 56811

optional case enforcement

haftmann [Thu, 01 May 2014 09:30:34 +0200] rev 56810

obsolete: no symbol identifiers remaining in Pure

isabelle