isabelle: Changelog

wenzelm [Mon, 23 Jul 2007 14:06:12 +0200] rev 23922

marked some CRITICAL sections (for multithreading);

wenzelm [Mon, 23 Jul 2007 14:06:11 +0200] rev 23921

added compatibility file for ML systems without multithreading;

ballarin [Mon, 23 Jul 2007 13:50:31 +0200] rev 23920

interpretation: unfolding of equations;

ballarin [Mon, 23 Jul 2007 13:48:30 +0200] rev 23919

interpretation: equations are propositions not pairs of terms;

ballarin [Mon, 23 Jul 2007 13:47:48 +0200] rev 23918

interpretation: unfolding of equations; interpretation: equations are propositions not pairs of terms;

kleing [Mon, 23 Jul 2007 01:17:57 +0200] rev 23917

increase default max heap size for poly to -H 500 (this is what isatest uses, -H 80 is not enough for HOL on at-mac-poly).

wenzelm [Sun, 22 Jul 2007 23:33:57 +0200] rev 23916

simultaneous use_thys;

isabelle