isabelle: Changelog

wenzelm [Fri, 29 Dec 2006 18:47:11 +0100] rev 21946

obsolete (cf. ProofGeneral/proof_general_emacs.ML);

wenzelm [Fri, 29 Dec 2006 18:46:06 +0100] rev 21945

tuned;

wenzelm [Fri, 29 Dec 2006 18:46:04 +0100] rev 21944

signed_string_of_int;

wenzelm [Fri, 29 Dec 2006 18:46:04 +0100] rev 21943

added proper header;

wenzelm [Fri, 29 Dec 2006 18:46:02 +0100] rev 21942

added signed_string_of_int (pruduces proper - instead of SML's ~);

wenzelm [Fri, 29 Dec 2006 18:46:01 +0100] rev 21941

removed obsolete proof_general.ML;

wenzelm [Fri, 29 Dec 2006 18:25:46 +0100] rev 21940

minor tuning;

wenzelm [Fri, 29 Dec 2006 18:25:45 +0100] rev 21939

tuned specifications/proofs;

wenzelm [Fri, 29 Dec 2006 17:24:49 +0100] rev 21938

replaced Sign.classes by Sign.all_classes (topologically sorted); prefer structure Sign over Sorts; renamed Sorts.project to Sorts.subalgebra;

wenzelm [Fri, 29 Dec 2006 17:24:49 +0100] rev 21937

renamed Graph.project to Graph.subgraph;

isabelle