| Sat, 27 Jun 2009 17:34:48 +0200 | wenzelm | builtin isabelle_tool for ML and Scala -- avoids excessive shell script (especially important for Cygwin); | changeset | files |
| Sat, 27 Jun 2009 10:26:42 +0200 | nipkow | removed old primrecs | changeset | files |
| Sat, 27 Jun 2009 09:43:41 +0200 | nipkow | replaced recdefs by funs | changeset | files |