isabelle: Changelog

wenzelm [Sun, 25 Jun 2000 23:57:29 +0200] rev 9140

Isar theory output.

wenzelm [Sun, 25 Jun 2000 23:57:03 +0200] rev 9139

Theory headers (old and new-style).

wenzelm [Sun, 25 Jun 2000 23:56:47 +0200] rev 9138

Text with antiquotations of inner items (terms, types etc.).

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;

isabelle