isabelle: Changelog

haftmann [Mon, 19 Sep 2005 16:38:35 +0200] rev 17485

introduced AList module

paulson [Mon, 19 Sep 2005 15:12:13 +0200] rev 17484

simplification of the Isabelle-ATP code; hooks for batch generation of problems

kleing [Mon, 19 Sep 2005 14:20:45 +0200] rev 17483

update usage message

wenzelm [Mon, 19 Sep 2005 12:05:08 +0200] rev 17482

obsolete;

wenzelm [Sun, 18 Sep 2005 15:20:08 +0200] rev 17481

converted to Isar theory format;

wenzelm [Sun, 18 Sep 2005 14:25:48 +0200] rev 17480

converted to Isar theory format;

wenzelm [Sat, 17 Sep 2005 20:49:14 +0200] rev 17479

converted to Isar theory format;

wenzelm [Sat, 17 Sep 2005 20:16:35 +0200] rev 17478

tuned;

wenzelm [Sat, 17 Sep 2005 20:14:30 +0200] rev 17477

converted to Isar theory format;

wenzelm [Sat, 17 Sep 2005 19:17:35 +0200] rev 17476

moved quick_and_dirty to Pure/ROOT.ML;

isabelle