doc-src/TutorialI/Rules/Forward.thy
Fri, 02 Nov 2007 16:38:14 +0100 paulson recdef to fun
less more (0) -10 -1 tip