isabelle: Changelog

berghofe [Fri, 26 Sep 2008 14:51:27 +0200] rev 28371

Added some more lemmas that are useful in proof of strong induction rule.

haftmann [Fri, 26 Sep 2008 09:10:02 +0200] rev 28370

removed obsolete name convention "func"

haftmann [Fri, 26 Sep 2008 09:09:53 +0200] rev 28369

fixed typo

haftmann [Fri, 26 Sep 2008 09:09:52 +0200] rev 28368

clarified function transformator interface

haftmann [Fri, 26 Sep 2008 09:09:51 +0200] rev 28367

op = vs. eq

wenzelm [Thu, 25 Sep 2008 20:34:21 +0200] rev 28366

moved future_scheduler flag to skip_proof.ML;

wenzelm [Thu, 25 Sep 2008 20:34:20 +0200] rev 28365

added future_scheduler (from thy_info.ML); prove: Goal.prove_promise if future_schedule;

wenzelm [Thu, 25 Sep 2008 20:34:19 +0200] rev 28364

simplified promise; fulfill is internal only; more robust join_futures;

isabelle