isabelle: Changelog

wenzelm [Fri, 08 Oct 1999 17:06:48 +0200] rev 7810

old_header: proper error message;

wenzelm [Fri, 08 Oct 1999 16:47:44 +0200] rev 7809

tuned presentation;

wenzelm [Fri, 08 Oct 1999 16:40:27 +0200] rev 7808

update from Gertrud;

wenzelm [Fri, 08 Oct 1999 16:18:51 +0200] rev 7807

tuned;

wenzelm [Fri, 08 Oct 1999 16:17:59 +0200] rev 7806

url;

wenzelm [Fri, 08 Oct 1999 16:16:51 +0200] rev 7805

theorem database now also indexes constants "Trueprop", "all", "==>", "=="; thus thms_containing, findI etc. may retrieve more rules;

wenzelm [Fri, 08 Oct 1999 16:05:06 +0200] rev 7804

improved;

wenzelm [Fri, 08 Oct 1999 16:04:42 +0200] rev 7803

removed generated index.html;

wenzelm [Fri, 08 Oct 1999 15:50:10 +0200] rev 7802

isatool_document;

wenzelm [Fri, 08 Oct 1999 15:39:52 +0200] rev 7801

make: tuned usage;

isabelle