| Tue, 05 Oct 2010 11:14:56 +0200 | blanchet | clean up debugging output | changeset | files |
| Tue, 05 Oct 2010 11:10:37 +0200 | blanchet | factor out "ATP" from "Sledgehammer" (cf. "SAT" vs. "Refute", etc.) -- the theories now reflect the directory structure | changeset | files |
| Tue, 05 Oct 2010 10:59:12 +0200 | blanchet | got rid of overkill "meson_choice" attribute; | changeset | files |