Fri, 08 Oct 1999 15:08:23 +0200 | wenzelm | return stored thms with proper naming in derivation; | changeset | files |
Fri, 08 Oct 1999 15:04:32 +0200 | wenzelm | improved special chars; | changeset | files |
Fri, 08 Oct 1999 15:03:47 +0200 | wenzelm | removed -c option; | changeset | files |
Fri, 08 Oct 1999 15:03:38 +0200 | wenzelm | tuned usage; | changeset | files |