doc-src/TutorialI/Misc/case_exprs.thy
Thu, 08 Nov 2007 13:23:36 +0100 nipkow new general syntax
less more (0) -10 -1 tip