| Sat, 04 Sep 1999 21:13:55 +0200 | wenzelm | goal_nonempty: Ex goal for new-style version; | changeset | files |
| Sat, 04 Sep 1999 21:13:01 +0200 | wenzelm | replaced ?? by ?; | changeset | files |
| Sat, 04 Sep 1999 21:12:15 +0200 | wenzelm | eliminated Syntax.binding; | changeset | files |