Wed, 14 Oct 2009 22:57:44 +0200 | wenzelm | eliminated obsolete C/flip combinator; | changeset | files |
Wed, 14 Oct 2009 21:14:53 +0200 | nipkow | added List.nth | changeset | files |
Wed, 14 Oct 2009 16:45:26 +0200 | wenzelm | tuned make parameters for sunbroy2; | changeset | files |
Wed, 14 Oct 2009 16:39:35 +0200 | wenzelm | accomodate old version of "tail", e.g. on sunbroy2; | changeset | files |