doc-src/IsarAdvanced/Classes/Thy/Classes.thy
Fri, 27 Feb 2009 08:59:11 +0100 haftmann fixed typo
less more (0) -30 -10 -1 tip