isabelle: Changelog

wenzelm [Wed, 25 Aug 2010 17:45:35 +0200] rev 38713

eliminated some old camel case stuff;

wenzelm [Wed, 25 Aug 2010 17:34:10 +0200] rev 38712

some attempts to recover Isabelle/ML style from the depths of time;

wenzelm [Wed, 25 Aug 2010 16:13:55 +0200] rev 38711

keep persistent production tables as immutable vectors -- potential performance improvement on modern hardware;

wenzelm [Wed, 25 Aug 2010 15:41:14 +0200] rev 38710

select tangible text ranges here -- more robust against ongoing changes of the markup query model

wenzelm [Wed, 25 Aug 2010 15:12:49 +0200] rev 38709

structure Thm: less pervasive names;

wenzelm [Wed, 25 Aug 2010 14:18:09 +0200] rev 38708

discontinued obsolete 'global' and 'local' commands;

wenzelm [Wed, 25 Aug 2010 11:30:45 +0200] rev 38707

merged

hoelzl [Wed, 25 Aug 2010 11:10:08 +0200] rev 38706

merged

hoelzl [Tue, 24 Aug 2010 14:41:37 +0200] rev 38705

moved generic lemmas in Probability to HOL

wenzelm [Wed, 25 Aug 2010 11:13:58 +0200] rev 38704

merged

isabelle