Mon, 30 Aug 2004 14:40:18 +0200 | chaieb | corrected | changeset | files |
Mon, 30 Aug 2004 12:01:52 +0200 | chaieb | m dvd t where m is non numeral is now catched! | changeset | files |
Sun, 29 Aug 2004 17:42:11 +0200 | webertj | Provers/blast.ML: depth_limit | changeset | files |