src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy
Sun, 25 Mar 2012 20:15:39 +0200 huffman merged fork with new numeral representation (see NEWS)
less more (0) -1 tip