src/Doc/Codegen/Inductive_Predicate.thy
Thu, 20 Aug 2020 10:39:26 +0100 paulson two more lex fixes
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
less more (0) -10 -2 tip