| 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 |
| Fri, 15 Sep 2000 00:18:36 +0200 | wenzelm | tuned symbols; | changeset | files |
| Fri, 15 Sep 2000 00:17:51 +0200 | wenzelm | handle more symbols; | changeset | files |