blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 51006
simplified SMT solver code in Sledgehammer
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 51005
eliminated needless speed optimization -- and simplified code quite a bit
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 51004
distinguish raw and non-raw facts, using raw for 10 000s of facts and non-raw after selection of some hundreds
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 51003
report (MeSh, MePo, MaSh) triple, to be able to use different filters in different slices
hoelzl [Thu, 31 Jan 2013 17:42:12 +0100] rev 51002
remove unnecessary assumption from real_normed_vector
blanchet [Thu, 31 Jan 2013 12:09:07 +0100] rev 51001
adapted to new MaSh interface
hoelzl [Thu, 31 Jan 2013 11:31:30 +0100] rev 51000
use order topology for extended reals