src/HOL/Hoare_Parallel/Quote_Antiquote.thy
Thu, 11 Feb 2010 22:19:58 +0100 wenzelm modernized translations;
Thu, 11 Feb 2010 13:54:53 +0100 wenzelm modernized translations;
Mon, 21 Sep 2009 10:58:25 +0200 haftmann theory entry point for session Hoare_Parallel (now also with proper underscore)
less more (0) tip