| Sun, 01 May 2011 18:37:25 +0200 | blanchet | drop even more bound types in symbol declarations -- useful in particular for type system "Args true" | changeset | files |
| Sun, 01 May 2011 18:37:25 +0200 | blanchet | tuning | changeset | files |
| Sun, 01 May 2011 18:37:25 +0200 | blanchet | got rid of one "sym_table" in "prepare_atp_problem" now that proxies are always handled first, and tuned accordingly | changeset | files |