doc-src/TutorialI/Protocol/Message.thy
Wed, 11 Jun 2008 18:02:25 +0200 wenzelm OldGoals.inst;
Wed, 11 Jun 2008 15:40:44 +0200 wenzelm RuleInsts.res_inst_tac with proper context;
less more (0) -2 tip