isabelle: Changelog

wenzelm [Mon, 02 Jun 2008 22:50:29 +0200] rev 27042

updated generated file;

wenzelm [Mon, 02 Jun 2008 22:50:27 +0200] rev 27041

tuned spacing;

wenzelm [Mon, 02 Jun 2008 22:50:23 +0200] rev 27040

major reorganization of document structure;

wenzelm [Mon, 02 Jun 2008 22:50:21 +0200] rev 27039

removed obsolete basics.tex;

wenzelm [Mon, 02 Jun 2008 22:50:19 +0200] rev 27038

more contributors; removed obsolete basics.tex; added Document_Preparation.tex;

wenzelm [Mon, 02 Jun 2008 21:19:46 +0200] rev 27037

renamed theory "syntax" to "Outer_Syntax";

wenzelm [Mon, 02 Jun 2008 21:13:48 +0200] rev 27036

isatool tty;

wenzelm [Mon, 02 Jun 2008 21:01:42 +0200] rev 27035

renamed theory "intro" to "Introduction";

nipkow [Mon, 02 Jun 2008 13:21:06 +0200] rev 27034

tuned proofs

dixon [Sun, 01 Jun 2008 17:45:43 +0200] rev 27033

fixed bug: maxidx was wrongly calculuated from term, now calculated from theorem correctly.

isabelle