Thu, 13 Apr 2006 12:00:59 +0200 | wenzelm | added equal_elim_rule2; | changeset | files |
Thu, 13 Apr 2006 12:00:58 +0200 | wenzelm | tuned comment; | changeset | files |
Thu, 13 Apr 2006 12:00:56 +0200 | wenzelm | ignore sorts of consts declarations; | changeset | files |