isabelle: Changelog

wenzelm [Mon, 19 Sep 2005 23:23:51 +0200] rev 17492

shrink: compress terms and types; prefer member/insert over polymorphic mem/ins;

wenzelm [Mon, 19 Sep 2005 23:22:51 +0200] rev 17491

added String.isSuffix;

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

isabelle