| Thu, 19 May 2011 10:24:13 +0200 | blanchet | since we always default on the "_light" encoding (for good reasons, according to Judgment Day), get rid of that suffix | changeset | files |
| Thu, 19 May 2011 10:24:13 +0200 | blanchet | tweaked ATP type systems further based on Judgment Day | changeset | files |
| Thu, 19 May 2011 10:24:13 +0200 | blanchet | honor "conj_sym_kind" also for tag symbol declarations | changeset | files |
| Thu, 19 May 2011 10:24:13 +0200 | blanchet | removed "poly_tags_light_bang" since highly unsound | changeset | files |