isabelle: Changelog

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)

obua [Sat, 24 Sep 2005 23:55:17 +0200] rev 17630

set show_types and show_sorts during import

nipkow [Sat, 24 Sep 2005 21:13:15 +0200] rev 17629

a few new filter lemmas

obua [Sat, 24 Sep 2005 16:43:41 +0200] rev 17628

HOL4-Import: map ONTO to Fun.surj

isabelle