isabelle: Changelog

wenzelm [Mon, 17 Sep 2007 16:06:35 +0200] rev 24611

adapted use_text;

haftmann [Mon, 17 Sep 2007 11:11:13 +0200] rev 24610

platform-sensitive default location for ATP provers

wenzelm [Sun, 16 Sep 2007 21:18:43 +0200] rev 24609

tuned;

wenzelm [Sun, 16 Sep 2007 21:04:45 +0200] rev 24608

HOL/Induct/Common_Patterns.thy

wenzelm [Sun, 16 Sep 2007 21:04:44 +0200] rev 24607

added Induct/Common_Patterns.thy;

wenzelm [Sun, 16 Sep 2007 21:04:43 +0200] rev 24606

moved induct patterns to HOL/Induct/Common_Patterns.thy;

wenzelm [Sun, 16 Sep 2007 20:25:43 +0200] rev 24605

use_file: added ``tune'' argument;

wenzelm [Sun, 16 Sep 2007 15:36:57 +0200] rev 24604

added structure Posix;

wenzelm [Sun, 16 Sep 2007 15:27:26 +0200] rev 24603

with_modes: always CRITICAL;

wenzelm [Sun, 16 Sep 2007 14:59:10 +0200] rev 24602

added ML/ml_parse.ML;

isabelle