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
Tue, 28 Apr 2015 19:09:28 +0200 nipkow undid 6d7b7a037e8d
Tue, 28 Apr 2015 16:23:05 +0100 paulson Fixed a non-terminating proof (almost certainly caused by no change of mind)
Sat, 27 Dec 2014 20:32:06 +0100 wenzelm update_cartouches;
Sun, 02 Nov 2014 17:36:52 +0100 wenzelm modernized header;
less more (0) -10 -7 tip