doc-src/IsarRef/Thy/document/Spec.tex
Sun, 08 Nov 2009 14:44:31 +0100 wenzelm added "declaration (pervasive)";
Thu, 02 Jul 2009 16:06:12 +0200 haftmann instance arities can be simultaneous
Thu, 02 Jul 2009 16:00:28 +0200 haftmann updated generated files
less more (0) -30 -10 -3 tip