doc-src/TutorialI/Protocol/Event.thy
Mon, 16 Jun 2008 17:54:35 +0200 wenzelm eliminated OldGoals.inst;
Wed, 11 Jun 2008 18:02:25 +0200 wenzelm OldGoals.inst;
Mon, 23 Jul 2007 14:31:34 +0200 berghofe LaTeX code is now generated directly from theory files.
less more (0) -3 tip