isabelle: Changelog

nipkow [Sat, 24 Mar 2018 15:07:13 +0100] rev 67942

added lemma

wenzelm [Fri, 23 Mar 2018 23:31:59 +0100] rev 67941

added command "purge_theories"; proper documentation: command "use_theories" is asynchronous;

wenzelm [Fri, 23 Mar 2018 22:53:32 +0100] rev 67940

clarified signature -- eliminated somewhat pointless positions;

wenzelm [Fri, 23 Mar 2018 22:44:43 +0100] rev 67939

clarified signature -- more like use_theories;

wenzelm [Fri, 23 Mar 2018 22:38:38 +0100] rev 67938

clarified;

wenzelm [Fri, 23 Mar 2018 22:31:50 +0100] rev 67937

removed somewhat pointless argument;

wenzelm [Fri, 23 Mar 2018 22:26:50 +0100] rev 67936

support for purge_theories;

wenzelm [Fri, 23 Mar 2018 21:56:22 +0100] rev 67935

clarified signature;

wenzelm [Fri, 23 Mar 2018 20:45:46 +0100] rev 67934

tuned;

wenzelm [Fri, 23 Mar 2018 17:09:36 +0100] rev 67933

more robust timing info: do not rely on order of markup;

isabelle