src/HOL/Fun_Def_Base.thy
Sun, 06 Jan 2019 15:04:34 +0100 wenzelm isabelle update -u path_cartouches;
Sat, 18 Jul 2015 22:58:50 +0200 wenzelm isabelle update_cartouches;
less more (0) -2 tip