src/HOL/Library/Code_Test.thy
Sat, 17 Dec 2016 13:42:25 +0100 wenzelm tuned;
Fri, 12 Aug 2016 17:53:55 +0200 wenzelm more symbols;
less more (0) -2 tip