isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Mon, 10 Feb 2014 13:47:31 +0100 removed rotten code;

changeset

wenzelm [Mon, 10 Feb 2014 13:47:31 +0100] rev 55378

removed rotten code;

Mon, 10 Feb 2014 13:04:08 +0100 more elementary put_simpset: exchange the simplifier configuration outright, which is particularly relevant concerning cumulative depth, e.g. for Product_Type.split_beta in the subsequent example:

changeset

wenzelm [Mon, 10 Feb 2014 13:04:08 +0100] rev 55377

more elementary put_simpset: exchange the simplifier configuration outright, which is particularly relevant concerning cumulative depth, e.g. for Product_Type.split_beta in the subsequent example: lemma "P (\<lambda>s. (case s of (x, y) \<Rightarrow> c))" using [[simp_depth_limit = 1]] apply simp oops

Mon, 10 Feb 2014 21:51:15 +0100 merged

changeset

nipkow [Mon, 10 Feb 2014 21:51:15 +0100] rev 55376

merged

Mon, 10 Feb 2014 21:50:50 +0100 improved lin.arith. for terms involving division

changeset

nipkow [Mon, 10 Feb 2014 21:50:50 +0100] rev 55375

improved lin.arith. for terms involving division

Sun, 09 Feb 2014 21:37:27 +0100 restoring ancient string_classes option

changeset

haftmann [Sun, 09 Feb 2014 21:37:27 +0100] rev 55374

restoring ancient string_classes option