isabelle: Changelog

wenzelm [Wed, 26 Mar 2008 22:39:58 +0100] rev 26410

updated generated file;

wenzelm [Wed, 26 Mar 2008 22:39:57 +0100] rev 26409

renamed ML_Context.>> to Context.>> (again);

wenzelm [Wed, 26 Mar 2008 22:38:55 +0100] rev 26408

converted legacy ML scripts;

huffman [Wed, 26 Mar 2008 22:38:17 +0100] rev 26407

rename class bifinite_cpo to profinite; generalize powerdomains from bifinite to profinite

huffman [Wed, 26 Mar 2008 21:05:58 +0100] rev 26406

fix spelling errors

wenzelm [Wed, 26 Mar 2008 20:14:38 +0100] rev 26405

removed obsolete pass, save;

wenzelm [Wed, 26 Mar 2008 20:14:37 +0100] rev 26404

use_thy: removed obsolete ML_Context.save;

wenzelm [Wed, 26 Mar 2008 20:14:36 +0100] rev 26403

removed obsolete use_thy (cf. isar_syn.ML);

kleing [Wed, 26 Mar 2008 12:12:52 +0100] rev 26402

use poly-cvs as name

wenzelm [Tue, 25 Mar 2008 22:12:02 +0100] rev 26401

Functor NamedThmsFun: data is available to the user as dynamic fact;

isabelle