| Sat, 19 Aug 2000 12:48:26 +0200 | wenzelm | cond_add_path; | changeset | files |
| Sat, 19 Aug 2000 12:47:16 +0200 | wenzelm | fixed text; | changeset | files |
| Sat, 19 Aug 2000 12:45:11 +0200 | wenzelm | turned into new-style theory; | changeset | files |
| Sat, 19 Aug 2000 12:44:39 +0200 | wenzelm | tuned; | changeset | files |