| Wed, 24 Oct 2007 19:46:01 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Wed, 24 Oct 2007 19:46:00 +0200 | wenzelm | added HOL-Statespace session; | changeset | files |
| Wed, 24 Oct 2007 19:21:40 +0200 | wenzelm | be explicit about .ML files; | changeset | files |
| Wed, 24 Oct 2007 19:21:39 +0200 | wenzelm | fixed HOL-Statespace for case-sensitive file-system; | changeset | files |