Sat, 04 Sep 1999 21:04:07 +0200 | wenzelm | removed binding; | changeset | files |
Sat, 04 Sep 1999 21:02:55 +0200 | wenzelm | removed "_BIND" syntax; | changeset | files |
Sat, 04 Sep 1999 21:02:19 +0200 | wenzelm | eliminated default_name (thms no longer stored for name ""); | changeset | files |