Thu, 22 Apr 1999 18:25:24 +0200 | wenzelm | fixed IO; | changeset | files |
Thu, 22 Apr 1999 18:25:07 +0200 | wenzelm | improved load paths; | changeset | files |
Thu, 22 Apr 1999 18:23:45 +0200 | wenzelm | single method: include not_elim, imp_elim; | changeset | files |