Fri, 15 Sep 2000 11:34:46 +0200 | wenzelm | fixed comment; | changeset | files |
Fri, 15 Sep 2000 11:27:45 +0200 | wenzelm | fixed name; | changeset | files |
Fri, 15 Sep 2000 11:17:33 +0200 | wenzelm | fix theorem names related to SOME (Eps) in HOL; | changeset | files |