2010-10-07 huffman add lemma typedef_ideal_completion
2010-10-07 huffman remove unused lemmas
2010-10-07 huffman remove Infinite_Set from ROOT.ML
2010-10-07 huffman remove some junk that made it in by accient
2010-10-11 blanchet "setup" in theory
2010-10-11 blanchet added "trace_meson" configuration option, replacing old-fashioned reference
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip