isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Sat, 11 Jan 2014 08:10:12 +0100 dropped legacy alias feature

changeset

haftmann [Sat, 11 Jan 2014 08:10:12 +0100] rev 54987

dropped legacy alias feature

Fri, 10 Jan 2014 23:44:03 +0100 merged

changeset

wenzelm [Fri, 10 Jan 2014 23:44:03 +0100] rev 54986

merged

Fri, 10 Jan 2014 23:42:18 +0100 disable Thm.check_hyps for now, due to remaining problems with AFP/Datatype_Order_Generator and AFP/Psi_Calculi (because of HOL-Nominal 'equivariance');

changeset

wenzelm [Fri, 10 Jan 2014 23:42:18 +0100] rev 54985

disable Thm.check_hyps for now, due to remaining problems with AFP/Datatype_Order_Generator and AFP/Psi_Calculi (because of HOL-Nominal 'equivariance');

Fri, 10 Jan 2014 21:37:28 +0100 more elementary management of declared hyps, below structure Assumption;

changeset

wenzelm [Fri, 10 Jan 2014 21:37:28 +0100] rev 54984

more elementary management of declared hyps, below structure Assumption; Goal.prove: insist in declared hyps; Simplifier: declare hyps via Thm.assume_hyps; more accurate tool context in some boundary cases;

Fri, 10 Jan 2014 17:44:41 +0100 more accurate context;

changeset

wenzelm [Fri, 10 Jan 2014 17:44:41 +0100] rev 54983

more accurate context;

Fri, 10 Jan 2014 16:55:37 +0100 tuned;

changeset

wenzelm [Fri, 10 Jan 2014 16:55:37 +0100] rev 54982

tuned;

Fri, 10 Jan 2014 16:20:06 +0100 explicit check of background theory;

changeset

wenzelm [Fri, 10 Jan 2014 16:20:06 +0100] rev 54981

explicit check of background theory;