| Thu, 10 Apr 1997 09:08:05 +0200 | nipkow | Added trace output and replaced fast_tac set_cs by Fast_tac. | changeset | files |
| Wed, 09 Apr 1997 15:56:53 +0200 | oheimb | replaced 'addwrapper' and 'addWrapper' by correct 'compwrapper' and 'compWrapper' | changeset | files |
| Wed, 09 Apr 1997 15:26:32 +0200 | nipkow | Thorough update. | changeset | files |
| Wed, 09 Apr 1997 12:37:44 +0200 | paulson | Using Blast_tac | changeset | files |
| Wed, 09 Apr 1997 12:36:52 +0200 | paulson | Control over excessive branching by applying a log2 penalty | changeset | files |
| Wed, 09 Apr 1997 12:34:28 +0200 | paulson | Explicit depth bounds seem necessary | changeset | files |
| Wed, 09 Apr 1997 12:32:04 +0200 | paulson | Using Blast_tac | changeset | files |