isabelle: Changelog

wenzelm [Tue, 10 Jul 2007 16:44:58 +0200] rev 23696

use position.ML earlier;

aspinall [Tue, 10 Jul 2007 15:45:34 +0200] rev 23695

Add widthN to signature

wenzelm [Tue, 10 Jul 2007 13:12:53 +0200] rev 23694

cd ISABELLE_HOME/etc;

haftmann [Tue, 10 Jul 2007 09:24:43 +0200] rev 23693

adjusted

haftmann [Tue, 10 Jul 2007 09:24:14 +0200] rev 23692

updated keywords

haftmann [Tue, 10 Jul 2007 09:23:17 +0200] rev 23691

simplified, tuned

haftmann [Tue, 10 Jul 2007 09:23:16 +0200] rev 23690

re-expanded paths

haftmann [Tue, 10 Jul 2007 09:23:15 +0200] rev 23689

replaced code generator framework for reflected cooper

haftmann [Tue, 10 Jul 2007 09:23:14 +0200] rev 23688

expanded fragile proof

haftmann [Tue, 10 Jul 2007 09:23:13 +0200] rev 23687

extended - convers now basic lcm properties also

isabelle