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 |