Tue, 21 Oct 1997 10:52:25 +0200 | paulson | Fixed the index entries for "recursion, general" | changeset | files |
Tue, 21 Oct 1997 10:39:27 +0200 | paulson | Many minor speedups: | changeset | files |
Tue, 21 Oct 1997 10:36:23 +0200 | paulson | New rewrite rules image_iff | changeset | files |