isabelle: Changelog

obua [Mon, 19 Sep 2005 22:35:39 +0200] rev 17490

maybe the last bug fix (sigh)?

obua [Mon, 19 Sep 2005 19:49:09 +0200] rev 17489

Removed superfluous HOL/Matrix/cplex/ROOT.ML.

paulson [Mon, 19 Sep 2005 18:30:22 +0200] rev 17488

further simplification of the Isabelle-ATP linkup

haftmann [Mon, 19 Sep 2005 16:42:11 +0200] rev 17487

added make function

haftmann [Mon, 19 Sep 2005 16:39:27 +0200] rev 17486

removed some deprecated assocation list functions

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;

isabelle