isabelle: Changelog

nipkow [Mon, 10 Sep 2018 20:48:22 +0200] rev 68967

tuned

nipkow [Mon, 10 Sep 2018 15:08:56 +0200] rev 68966

tuned

eberlm <eberlm@in.tum.de> [Sun, 09 Sep 2018 17:40:12 +0100] rev 68965

Removed problematic rules from continuous_intros

nipkow [Sun, 09 Sep 2018 17:56:13 +0200] rev 68964

merged

nipkow [Sun, 09 Sep 2018 17:56:00 +0200] rev 68963

tuned

wenzelm [Sun, 09 Sep 2018 17:49:15 +0200] rev 68962

tuned message (again);

wenzelm [Sun, 09 Sep 2018 13:48:20 +0200] rev 68961

proper binding positions within the defining command transaction;

wenzelm [Sun, 09 Sep 2018 13:44:48 +0200] rev 68960

smash position to avoid position of other file "~~/src/HOL/BNF_Composition.thy" (due to "bnf ID"), e.g. relevant for "HOL-Nominal-Examples.Class1";

wenzelm [Sun, 09 Sep 2018 13:40:14 +0200] rev 68959

clarified message;

wenzelm [Sun, 09 Sep 2018 12:02:30 +0200] rev 68958

tuned message;

isabelle