wenzelm [Sun, 25 Jun 2000 23:56:16 +0200] rev 9137
use Library.change;
wenzelm [Sun, 25 Jun 2000 23:55:58 +0200] rev 9136
adapted to improved presentation;
no longer mirror items from structure Latex;
wenzelm [Sun, 25 Jun 2000 23:55:22 +0200] rev 9135
adapted to improved presentation;
wenzelm [Sun, 25 Jun 2000 23:54:56 +0200] rev 9134
excursion_result;
wenzelm [Sun, 25 Jun 2000 23:54:32 +0200] rev 9133
added extern_skolem;
wenzelm [Sun, 25 Jun 2000 23:54:13 +0200] rev 9132
moved header stuff to thy_header.ML;
moved theory presentation to isar_output.ML;
major cleanup;
wenzelm [Sun, 25 Jun 2000 23:52:59 +0200] rev 9131
added semicolon;
added arguments;
tuned;
wenzelm [Sun, 25 Jun 2000 23:52:15 +0200] rev 9130
added !!!;
added is_semicolon;
export incr_line, keep_line, scan_blank, scan_string;
added source_proper;
added make_lexicon;
tuned;
wenzelm [Sun, 25 Jun 2000 23:49:55 +0200] rev 9129
use ThyHeader.args;
adapted OuterSyntax.markup_command;
wenzelm [Sun, 25 Jun 2000 23:48:58 +0200] rev 9128
rearranged print commands;