| Fri, 27 Feb 2009 18:03:47 +0100 | wenzelm | eliminated private clones of List.partition; | changeset | files |
| Fri, 27 Feb 2009 16:54:49 +0100 | wenzelm | observe some Isabelle/ML coding conventions; | changeset | files |
| Fri, 27 Feb 2009 16:38:52 +0100 | wenzelm | eliminated NJ's List.nth; | changeset | files |