src/HOL/Quickcheck_Examples/Quickcheck_Lattice_Examples.thy
Thu, 26 May 2016 17:51:22 +0200 wenzelm isabelle update_cartouches -c -t;
Wed, 13 Aug 2014 14:57:16 +0200 Andreas Lochbihler Quickcheck_Types is no longer needed due to 51aa30c9ee4e
Fri, 18 Jul 2014 22:16:03 +0200 kleing avoid duplicate fact name
less more (0) -3 tip