isabelle: Changelog

Andreas Lochbihler [Tue, 18 Jul 2017 08:54:49 +0200] rev 66285

merged

Andreas Lochbihler [Mon, 17 Jul 2017 17:30:34 +0200] rev 66284

new derived targets for evaluating Haskell and Scala programs

eberlm <eberlm@in.tum.de> [Mon, 17 Jul 2017 16:49:19 +0200] rev 66283

Printing natural numbers as numerals in evaluation

Lars Hupel <lars.hupel@mytum.de> [Sun, 16 Jul 2017 23:47:21 +0200] rev 66282

fmap is finite

eberlm <eberlm@in.tum.de> [Sat, 15 Jul 2017 21:40:24 +0100] rev 66281

facts about cardinality of vector type

eberlm <eberlm@in.tum.de> [Sat, 15 Jul 2017 16:27:10 +0100] rev 66280

Adapted Approximation_Bounds to changes in Multiset

eberlm <eberlm@in.tum.de> [Sat, 15 Jul 2017 14:54:13 +0100] rev 66279

Simprocs for roots of numerals

eberlm <eberlm@in.tum.de> [Sat, 15 Jul 2017 14:36:30 +0100] rev 66278

Updated NEWS

eberlm <eberlm@in.tum.de> [Sat, 15 Jul 2017 14:33:56 +0100] rev 66277

HOL-Analysis: Infinite products

eberlm <eberlm@in.tum.de> [Sat, 15 Jul 2017 14:32:02 +0100] rev 66276

More material on powers for HOL-Computational_Algebra/HOL-Number_Theory

isabelle