src/HOL/ex/Eval_Examples.thy
Tue, 06 Oct 2015 17:47:28 +0200 wenzelm isabelle update_cartouches;
Tue, 01 Sep 2015 22:32:58 +0200 wenzelm eliminated \<Colon>;
less more (0) -10 -2 tip