src/HOL/Random_Sequence.thy
2011-03-30 bulwahn 2011-03-30 renewing specifications in HOL: replacing types by type_synonym
2010-04-16 wenzelm 2010-04-16 replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords;
2010-01-20 bulwahn 2010-01-20 adopting Sequences
2010-01-20 bulwahn 2010-01-20 refactoring the predicate compiler; adding theories for Sequences; adding retrieval to Spec_Rules; adding timing to Quickcheck