isabelle: Changelog

wenzelm [Tue, 04 Apr 2017 22:53:01 +0200] rev 65383

proper name according to meaning;

wenzelm [Tue, 04 Apr 2017 22:16:42 +0200] rev 65382

more main sessions and global theories;

wenzelm [Tue, 04 Apr 2017 22:07:34 +0200] rev 65381

eliminated redundant imports;

wenzelm [Tue, 04 Apr 2017 21:57:43 +0200] rev 65380

eliminated Plain_HOLCF.thy (see also 8e92772bc0e8): it was modeled after HOL/Plain.thy which was discontinued later;

wenzelm [Tue, 04 Apr 2017 21:45:54 +0200] rev 65379

tuned (see also 1fa1023b13b9);

wenzelm [Tue, 04 Apr 2017 21:44:44 +0200] rev 65378

tuned header;

wenzelm [Tue, 04 Apr 2017 21:37:26 +0200] rev 65377

tuned signature;

wenzelm [Tue, 04 Apr 2017 21:33:51 +0200] rev 65376

proper base name;

wenzelm [Tue, 04 Apr 2017 21:11:40 +0200] rev 65375

tuned;

wenzelm [Tue, 04 Apr 2017 21:05:07 +0200] rev 65374

tuned syntax; some official documentation;

isabelle