doc-src/TutorialI/Overview/LNCS/Ind.thy
Mon, 02 May 2005 11:03:27 +0200 haftmann introduced @{const ...} antiquotation
less more (0) -1 tip