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;
less more (0) -3 tip