| Fri, 22 Jan 2010 11:42:28 +0100 | bulwahn | correctly hiding facts of Lazy_Sequence | file | diff | annotate |
| 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 | file | diff | annotate |