src/HOL/Random_Sequence.thy
Wed, 20 Jan 2010 18:08:08 +0100 bulwahn adopting Sequences
Wed, 20 Jan 2010 11:56:45 +0100 bulwahn refactoring the predicate compiler; adding theories for Sequences; adding retrieval to Spec_Rules; adding timing to Quickcheck
less more (0) tip