| Mon, 23 May 2005 14:56:36 +0200 | wenzelm | node_trans: revert to original transaction code (pre 1.54); | changeset | files |
| Mon, 23 May 2005 14:56:35 +0200 | wenzelm | use: not a theory command! | changeset | files |
| Mon, 23 May 2005 13:39:45 +0200 | nipkow | converted back from 0..< to <. | changeset | files |
| Mon, 23 May 2005 12:09:30 +0200 | haftmann | added email | changeset | files |
| Mon, 23 May 2005 11:14:58 +0200 | nipkow | tuned trace info (depth) | changeset | files |
| Mon, 23 May 2005 11:06:41 +0200 | nipkow | simplifier trace info; Suc-intervals | changeset | files |
| Mon, 23 May 2005 10:49:25 +0200 | haftmann | some adaptions | changeset | files |
| Mon, 23 May 2005 00:18:51 +0200 | quigley | Moved some of the clausify functions from ATP/res_clasimpset.ML to res_axioms.ML. | changeset | files |