| Wed, 24 Jan 2007 20:54:20 +0100 | wenzelm | updated timing; | changeset | files |
| Wed, 24 Jan 2007 17:10:50 +0100 | paulson | some new lemmas | changeset | files |
| 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 |
| Mon, 22 Jan 2007 18:17:04 +0100 | krauss | Included ex/Fundefs.thy in HOL-ex session | changeset | files |
| Mon, 22 Jan 2007 17:29:43 +0100 | krauss | * Preliminary implementation of tail recursion | changeset | files |