src/HOL/Codegenerator_Test/Generate_Binary_Nat.thy
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
less more (0) -1 tip