src/HOL/Hoare_Parallel/OG_Examples.thy
Sat, 18 Jul 2015 20:54:56 +0200 wenzelm prefer tactics with explicit context;
Sat, 09 May 2015 12:19:24 +0200 nipkow undid 6d7b7a037e8d because it does not help but slows simplification down by up to 5% (AODV)
Sun, 03 May 2015 15:38:25 +0200 nipkow swap False to the right in assumptions to be eliminated at the right end
less more (0) -10 -3 tip