doc-src/IsarRef/Thy/Introduction.thy
Wed, 25 Jun 2008 17:38:34 +0200 wenzelm tuned;
Tue, 03 Jun 2008 00:16:07 +0200 wenzelm \cite{Wenzel:2006:Festschrift};
Mon, 02 Jun 2008 23:38:25 +0200 wenzelm tuned structure;
Mon, 02 Jun 2008 22:50:23 +0200 wenzelm major reorganization of document structure;
Mon, 02 Jun 2008 21:13:48 +0200 wenzelm isatool tty;
Mon, 02 Jun 2008 21:01:42 +0200 wenzelm renamed theory "intro" to "Introduction";
less more (0) tip