doc-src/TutorialI/Protocol/Public.thy
Fri, 20 Mar 2009 17:04:44 +0100 wenzelm fixed possibility_tac;
less more (0) -1 tip