src/HOL/Library/Code_Test.thy
Mon, 20 Oct 2014 17:02:46 +0200 wenzelm back to formal comment (see 23a380cc45f4, 3094b0edd6b5);
less more (0) -1 tip