Mon, 12 Mar 2001 18:23:11 +0100 | nipkow | *** empty log message *** | changeset | files |
Mon, 12 Mar 2001 18:17:45 +0100 | nipkow | *** empty log message *** | changeset | files |
Fri, 09 Mar 2001 19:05:48 +0100 | nipkow | arith_tac now copes with propositional reasoning as well. | changeset | files |