src/HOL/DSequence.thy
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