src/HOL/Library/Code_Test.thy
Wed, 25 Apr 2018 09:04:25 +0000 haftmann uniform tagging for printable and non-printable literals
Tue, 24 Apr 2018 14:17:58 +0000 haftmann proper datatype for 8-bit characters
Tue, 16 Jan 2018 09:30:00 +0100 wenzelm standardized towards new-style formal comments: isabelle update_comments;
Sat, 17 Dec 2016 13:42:25 +0100 wenzelm tuned;
less more (0) -10 -4 tip