src/HOL/Tools/SMT2/z3_new_replay_methods.ML
Sat, 31 May 2014 22:59:54 +0200 boehmes tuned
Sat, 31 May 2014 22:31:03 +0200 boehmes more complete proof replay for Z3: support universally quantified rewrite steps
Thu, 01 May 2014 22:57:34 +0200 boehmes use internal proof-producing SAT solver for more efficient SMT proof replay
Thu, 13 Mar 2014 13:18:14 +0100 blanchet adapted to renamed ML files
Thu, 13 Mar 2014 13:18:13 +0100 blanchet renamed ML files
less more (0) tip