wenzelm [Wed, 14 Dec 2011 20:36:17 +0100] rev 46749
tuned;
blanchet [Wed, 14 Dec 2011 18:07:32 +0100] rev 46748
added new proof redirection code
blanchet [Wed, 14 Dec 2011 18:07:32 +0100] rev 46747
SPASS is incomplete because of the -Splits and -FullRed options, not just because of -SOS=1 -- don't pretend the opposite
blanchet [Wed, 14 Dec 2011 18:07:32 +0100] rev 46746
make sure that all symbols are declared in untyped SPASS DFG output (broken since 3b8606fba2dd)
bulwahn [Wed, 14 Dec 2011 17:49:42 +0100] rev 46745
NEWS
bulwahn [Wed, 14 Dec 2011 16:30:32 +0100] rev 46744
correcting dependencies after renaming
bulwahn [Wed, 14 Dec 2011 16:30:30 +0100] rev 46743
tuned header after renaming
bulwahn [Wed, 14 Dec 2011 16:30:29 +0100] rev 46742
moving AList theory to AList_Impl to make space for the association lists with invariant
bulwahn [Wed, 14 Dec 2011 16:30:09 +0100] rev 46741
merged
bulwahn [Wed, 14 Dec 2011 15:56:37 +0100] rev 46740
adding map_entry to AList theory