2010-08-27 wenzelm 2010-08-27 proper context for various Thy_Output options, via official configuration options in ML and Isar;
2010-07-27 wenzelm 2010-07-27 updated manual concerning theory loader;
2010-05-31 wenzelm 2010-05-31 modernized some structure names, keeping a few legacy aliases;
2010-05-18 wenzelm 2010-05-18 prefer structure Keyword and Parse;
2009-08-29 wenzelm 2009-08-29 eliminated hard tabs;
2009-07-28 wenzelm 2009-07-28 proper header; proper structure; tuned white space;
2009-07-22 wenzelm 2009-07-22 original rail implementation by Michael Kerscher;