src/HOL/Quickcheck_Examples/Quickcheck_Examples.thy
Wed, 06 Jun 2018 11:12:37 +0200 nipkow Keep filter input syntax
Tue, 22 May 2018 11:08:37 +0200 nipkow First step to remove nonstandard "[x <- xs. P]" syntax: only input
Thu, 15 Feb 2018 12:11:00 +0100 wenzelm more symbols;
less more (0) -10 -3 tip