Sat, 15 Oct 2005 00:08:06 +0200 | wenzelm | added primitive_text, succeed_text; | changeset | files |
Sat, 15 Oct 2005 00:08:05 +0200 | wenzelm | goal statements: accomodate before_qed argument; | changeset | files |
Sat, 15 Oct 2005 00:08:04 +0200 | wenzelm | goal statements: accomodate before_qed argument; | changeset | files |