| Wed, 16 Apr 1997 18:13:12 +0200 | wenzelm | improved; | changeset | files |
| Tue, 15 Apr 1997 10:23:38 +0200 | paulson | Partially converted to call blast_tac | changeset | files |
| Tue, 15 Apr 1997 10:23:17 +0200 | paulson | Addition of blast_tac benchmark | changeset | files |
| Tue, 15 Apr 1997 10:22:50 +0200 | paulson | Changed penalty from log2 to log3 | changeset | files |
| Tue, 15 Apr 1997 10:19:14 +0200 | paulson | An extra call to blast_tac (illustrating a need for type instantiation) | changeset | files |
| Tue, 15 Apr 1997 10:18:01 +0200 | paulson | Now puts basic rewrites for lappend & lmap into the simpset | changeset | files |
| Tue, 15 Apr 1997 10:17:15 +0200 | paulson | Removed "AddSDs [Scons_inject];" because | changeset | files |