Mon, 30 Aug 2004 14:56:20 +0200 | webertj | reference to cla.ML replaced by Classical.thy | changeset | files |
Mon, 30 Aug 2004 14:43:29 +0200 | chaieb | commentar eliminated a line 156 - arith raised Match exception at m dvd 2 | changeset | files |
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 |
Sun, 29 Aug 2004 17:36:39 +0200 | webertj | depth limit (previously hard-coded with a value of 20) made a reference | changeset | files |
Thu, 26 Aug 2004 17:28:57 +0200 | webertj | comment modified | changeset | files |