src/HOL/Mirabelle/Mirabelle.thy
Mon, 06 Sep 2010 13:06:27 +0200 wenzelm some results of concurrency code inspection;
Sat, 12 Sep 2009 16:30:48 +0200 wenzelm standard headers and text sections;
Wed, 02 Sep 2009 16:23:53 +0200 boehmes moved Mirabelle from HOL/Tools to HOL,
less more (0) tip