isabelle: Changelog

wenzelm [Sun, 25 Sep 2005 20:24:10 +0200] rev 17640

more;

berghofe [Sun, 25 Sep 2005 20:19:31 +0200] rev 17639

eq_codegen now ensures that code for bool type is generated.

berghofe [Sun, 25 Sep 2005 20:17:44 +0200] rev 17638

Fixed print mode problem in test_term.

berghofe [Sun, 25 Sep 2005 20:17:13 +0200] rev 17637

Added ExecutableSet and Taylor.

berghofe [Sun, 25 Sep 2005 20:15:29 +0200] rev 17636

Now uses set implementation from ExecutableSet.

berghofe [Sun, 25 Sep 2005 20:14:39 +0200] rev 17635

Added Taylor.

berghofe [Sun, 25 Sep 2005 20:14:16 +0200] rev 17634

Formalization of Taylor series by Lukas Bulwahn and Bernhard Haeupler.

berghofe [Sun, 25 Sep 2005 20:12:59 +0200] rev 17633

Added ExecutableSet.

berghofe [Sun, 25 Sep 2005 20:12:26 +0200] rev 17632

New theory for implementing finite sets by lists.

webertj [Sun, 25 Sep 2005 01:12:49 +0200] rev 17631

sat_solver.ML not loaded anymore (already loaded by Refute.thy)

isabelle