src/HOL/Hoare_Parallel/Graph.thy
Tue, 01 Sep 2020 16:57:54 +0200 wenzelm tuned proofs;
less more (0) -10 -1 tip