isabelle: Changelog

wenzelm [Wed, 19 Oct 2005 21:52:32 +0200] rev 17920

removed obsolete add_recdef_old; tuned;

wenzelm [Wed, 19 Oct 2005 21:52:31 +0200] rev 17919

removed obsolete HOL/thy_syntax.ML;

wenzelm [Wed, 19 Oct 2005 21:52:30 +0200] rev 17918

* Theory syntax: discontinued non-Isar format and old Isar headers;

wenzelm [Wed, 19 Oct 2005 21:52:29 +0200] rev 17917

replaced commafy by existing commas; avoid obsolete Goals.prin;

wenzelm [Wed, 19 Oct 2005 21:52:28 +0200] rev 17916

updated;

wenzelm [Wed, 19 Oct 2005 21:52:27 +0200] rev 17915

isatool fixheaders;

wenzelm [Wed, 19 Oct 2005 21:52:07 +0200] rev 17914

fix headers;

haftmann [Wed, 19 Oct 2005 17:21:53 +0200] rev 17913

added table functor instance for pairs of strings

haftmann [Wed, 19 Oct 2005 17:19:52 +0200] rev 17912

added subgraph

haftmann [Wed, 19 Oct 2005 17:19:37 +0200] rev 17911

added join

isabelle