src/HOL/Hoare_Parallel/Graph.thy
Wed, 25 Mar 2015 10:44:57 +0100 wenzelm prefer local fixes;
Sat, 27 Dec 2014 20:32:06 +0100 wenzelm update_cartouches;
less more (0) -10 -2 tip