src/HOL/Quickcheck_Random.thy
Tue, 01 Sep 2015 22:32:58 +0200 wenzelm eliminated \<Colon>;
Sat, 18 Jul 2015 22:58:50 +0200 wenzelm isabelle update_cartouches;
Fri, 05 Dec 2014 19:35:36 +0100 haftmann allow multiple inheritance of targets
less more (0) -3 tip