| 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 |
| Thu, 22 Apr 1999 18:20:37 +0200 | wenzelm | more graceful handling of load paths; | changeset | files |