| Wed, 24 Jan 2007 13:15:16 +0100 | aspinall | Let <loadfile> execute even while a file is open interactively. | changeset | files |
| Tue, 23 Jan 2007 20:29:03 +0100 | krauss | fixes smlnj-related problem, updated signature | changeset | files |
| Tue, 23 Jan 2007 15:54:22 +0100 | dixon | added a fold up and fold down as separate functions and fixed zipto to | changeset | files |
| Mon, 22 Jan 2007 19:00:29 +0100 | nipkow | simplified proofs | changeset | files |