| Mon, 20 Nov 2006 21:23:12 +0100 | wenzelm | HOL-Prolog: converted legacy ML scripts; | changeset | files |
| Mon, 20 Nov 2006 11:51:10 +0100 | kleing | start at-sml earlier and on different machine, remove sun-sml test (takes too long) | changeset | files |
| Sun, 19 Nov 2006 23:48:55 +0100 | wenzelm | HOL-Algebra: converted legacy ML scripts; | changeset | files |