src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy
Thu, 24 Apr 2014 00:23:38 +0200 blanchet avoid name shadowing
Thu, 06 Mar 2014 13:36:48 +0100 blanchet renamed 'map_pair' to 'map_prod'
Fri, 15 Feb 2013 08:31:31 +0100 haftmann less customary term_of conversions;
less more (0) -10 -3 tip