Fri, 16 Jun 2000 13:15:40 +0200 | paulson | Finally "AddEs [equalityE]" is IN and "AddDs [equals0D, sym RS equals0D]" is OUT | changeset | files |
Fri, 16 Jun 2000 13:15:04 +0200 | paulson | inserted some "addsimps [subset_empty]"; also tidied (a lot) | changeset | files |
Fri, 16 Jun 2000 13:13:55 +0200 | paulson | tracing flag for arith_tac | changeset | files |