2010-10-07 | huffman | add lemma typedef_ideal_completion | changeset | files |
2010-10-07 | huffman | remove unused lemmas | changeset | files |
2010-10-07 | huffman | remove Infinite_Set from ROOT.ML | changeset | files |
2010-10-07 | huffman | remove some junk that made it in by accient | changeset | files |
2010-10-11 | blanchet | "setup" in theory | changeset | files |
2010-10-11 | blanchet | added "trace_meson" configuration option, replacing old-fashioned reference | changeset | files |
Loading... |