doc-src/IsarRef/Thy/Introduction.thy
Sat, 04 Oct 2008 17:40:56 +0200 wenzelm simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
Wed, 25 Jun 2008 17:38:34 +0200 wenzelm tuned;
Tue, 03 Jun 2008 00:16:07 +0200 wenzelm \cite{Wenzel:2006:Festschrift};
less more (0) -3 tip