src/HOL/Random.thy
Sat, 18 Jul 2015 22:58:50 +0200 wenzelm isabelle update_cartouches;
Wed, 26 Nov 2014 20:05:34 +0100 wenzelm renamed "pairself" to "apply2", in accordance to @{apply 2};
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
less more (0) -10 -3 tip