blanchet [Fri, 14 Mar 2014 10:08:33 +0100] rev 56123
document the new 'nonexhaustive' option (cf. 52e8f110fec3)
blanchet [Fri, 14 Mar 2014 09:56:06 +0100] rev 56122
made SML/NJ happier
panny [Fri, 14 Mar 2014 02:54:00 +0100] rev 56121
print warning if some constructors are missing;
make this warning optional via "(nonexhaustive)"
blanchet [Fri, 14 Mar 2014 01:28:15 +0100] rev 56120
updated Sledgehammer docs w.r.t. 'smt2' and 'z3_new'
blanchet [Fri, 14 Mar 2014 01:28:14 +0100] rev 56119
updated documentation w.r.t. 'z3_non_commercial' option in Isabelle/jEdit
blanchet [Fri, 14 Mar 2014 01:28:13 +0100] rev 56118
updated NEWS and CONTRIBUTORS (BNF, SMT2, Sledgehammer)
huffman [Thu, 13 Mar 2014 16:07:27 -0700] rev 56117
remove ordered_euclidean_space constraint from brouwer/derivative lemmas;
add constant unit_cube for class euclidean_space
nipkow [Thu, 13 Mar 2014 17:36:56 +0100] rev 56116
typos
traytel [Thu, 13 Mar 2014 16:39:08 +0100] rev 56115
merged
traytel [Thu, 13 Mar 2014 16:28:25 +0100] rev 56114
tuned tactics