isabelle: Changelog

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;

wenzelm [Sun, 09 Sep 2018 11:53:53 +0200] rev 68957

clarified theory progress;

wenzelm [Sat, 08 Sep 2018 22:52:12 +0200] rev 68956

tuned message;

wenzelm [Sat, 08 Sep 2018 22:43:25 +0200] rev 68955

more robust test: virtualization may provide misleading information;

isabelle