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 |
Fri, 15 Sep 2000 00:19:52 +0200 | wenzelm | tuned spacing of symbols syntax; | changeset | files |