src/HOL/Lazy_Sequence.thy
2010-01-22 bulwahn 2010-01-22 correctly hiding facts of Lazy_Sequence
2010-01-20 bulwahn 2010-01-20 refactoring the predicate compiler; adding theories for Sequences; adding retrieval to Spec_Rules; adding timing to Quickcheck