blanchet [Thu, 24 Mar 2011 17:49:27 +0100] rev 42101
remove newly added wrong logic
blanchet [Thu, 24 Mar 2011 17:49:27 +0100] rev 42100
more precise failure reporting in Sledgehammer/SMT
blanchet [Thu, 24 Mar 2011 17:49:27 +0100] rev 42099
avoid evil "export_without_context", which breaks if there are local "fixes"
blanchet [Thu, 24 Mar 2011 17:49:27 +0100] rev 42098
more robust handling of variables in new Skolemizer
haftmann [Thu, 24 Mar 2011 17:10:23 +0100] rev 42097
merged
haftmann [Thu, 24 Mar 2011 17:10:13 +0100] rev 42096
added subsection on Scala specialities
krauss [Thu, 24 Mar 2011 16:39:37 +0100] rev 42095
added more judgement day provers
bulwahn [Thu, 24 Mar 2011 15:29:31 +0100] rev 42094
allowing special set comprehensions in values command; adding an example for special set comprehension in values
bulwahn [Thu, 24 Mar 2011 10:39:47 +0100] rev 42093
merged
bulwahn [Wed, 23 Mar 2011 08:50:42 +0100] rev 42092
adding documentation about the eval option in quickcheck