blanchet [Wed, 31 Oct 2012 11:23:21 +0100] rev 51007
repaired "Mutabelle" after Refute move
blanchet [Wed, 31 Oct 2012 11:23:21 +0100] rev 51006
less verbose -- the warning will reach the users anyway by other means
blanchet [Wed, 31 Oct 2012 11:23:21 +0100] rev 51005
tuned messages
blanchet [Wed, 31 Oct 2012 11:23:21 +0100] rev 51004
moved "SAT" before "FunDef" and moved back all SAT-related ML files to where they belong
blanchet [Wed, 31 Oct 2012 11:23:21 +0100] rev 51003
fixes related to Refute's move
blanchet [Wed, 31 Oct 2012 11:23:21 +0100] rev 51002
added a timeout around script that relies on the network
blanchet [Wed, 31 Oct 2012 11:23:21 +0100] rev 51001
took out "using only ..." comments in Sledgehammer generated metis/smt calls, until these can be generated soundly
blanchet [Wed, 31 Oct 2012 11:23:21 +0100] rev 51000
moved Refute to "HOL/Library" to speed up building "Main" even more
blanchet [Wed, 31 Oct 2012 11:23:21 +0100] rev 50999
tuning
blanchet [Wed, 31 Oct 2012 11:23:21 +0100] rev 50998
use metaquantification when possible in Isar proofs