| Fri, 15 Sep 2000 16:28:04 +0200 | wenzelm | -P option; | changeset | files |
| Fri, 15 Sep 2000 15:48:41 +0200 | paulson | renamed the select rules | changeset | files |
| Fri, 15 Sep 2000 15:30:50 +0200 | paulson | the final renaming: selectI -> someI | changeset | files |
| Fri, 15 Sep 2000 12:39:57 +0200 | paulson | renamed (most of...) the select rules | changeset | files |
| 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 |