isabelle: Changelog

wenzelm [Tue, 21 Nov 2006 00:07:05 +0100] rev 21428

removed legacy ML setup;

wenzelm [Tue, 21 Nov 2006 00:00:39 +0100] rev 21427

converted legacy ML scripts;

wenzelm [Mon, 20 Nov 2006 23:47:10 +0100] rev 21426

converted legacy ML scripts;

wenzelm [Mon, 20 Nov 2006 21:23:12 +0100] rev 21425

HOL-Prolog: converted legacy ML scripts;

kleing [Mon, 20 Nov 2006 11:51:10 +0100] rev 21424

start at-sml earlier and on different machine, remove sun-sml test (takes too long)

wenzelm [Sun, 19 Nov 2006 23:48:55 +0100] rev 21423

HOL-Algebra: converted legacy ML scripts;

webertj [Sun, 19 Nov 2006 13:02:55 +0100] rev 21422

profiling disabled

haftmann [Sat, 18 Nov 2006 00:20:33 +0100] rev 21421

code thms for classops violating type discipline ignored

haftmann [Sat, 18 Nov 2006 00:20:29 +0100] rev 21420

cleanup

haftmann [Sat, 18 Nov 2006 00:20:28 +0100] rev 21419

added instance for class size

isabelle