isabelle: Changelog

wenzelm [Thu, 23 Oct 2008 14:22:16 +0200] rev 28673

renamed structure Susp to Lazy, and Susp.delay to Lazy.lazy;

wenzelm [Thu, 23 Oct 2008 13:52:28 +0200] rev 28672

adapted Susp.peek;

wenzelm [Thu, 23 Oct 2008 13:52:27 +0200] rev 28671

thread-safe version, with non-critical evaluation; do not re-evaluate failed result; misc tuning;

wenzelm [Thu, 23 Oct 2008 13:52:26 +0200] rev 28670

do not open Susp;

wenzelm [Thu, 23 Oct 2008 13:51:54 +0200] rev 28669

switched parallel sessions to polyml-5.2.1;

wenzelm [Thu, 23 Oct 2008 00:24:31 +0200] rev 28668

fixed and reactivated HOL/Library/Pocklington.thy -- by Mark Hillebrand;

wenzelm [Wed, 22 Oct 2008 21:25:00 +0200] rev 28667

updated to 5.2.1;

haftmann [Wed, 22 Oct 2008 14:15:48 +0200] rev 28666

prove_instantiation_exit combinators

haftmann [Wed, 22 Oct 2008 14:15:47 +0200] rev 28665

added meet_sort_typ

haftmann [Wed, 22 Oct 2008 14:15:46 +0200] rev 28664

tuned

isabelle