Wed, 08 Mar 2000 23:49:30 +0100 | wenzelm | add_cases: omit unnamed; | changeset | files |
Wed, 08 Mar 2000 23:48:34 +0100 | wenzelm | invoke_case: name assumption; | changeset | files |
Wed, 08 Mar 2000 23:47:44 +0100 | wenzelm | fixed section syntax; | changeset | files |