src/HOL/Library/Code_Test.thy
Fri, 04 Jan 2019 23:22:53 +0100 wenzelm isabelle update -u control_cartouches;
Fri, 22 Jun 2018 20:31:49 +0200 wenzelm clarified document antiquotation @{theory};
less more (0) -10 -2 tip