doc-src/TutorialI/Rules/rules.tex
Thu, 10 Dec 2009 17:34:09 +0000 paulson fixed typo
Thu, 22 Oct 2009 09:27:48 +0200 nipkow inv_onto -> inv_into
Tue, 20 Oct 2009 13:37:56 +0200 nipkow footnote: inv via inv_onto
less more (0) -30 -10 -3 tip