2010-01-20 ago refactoring the predicate compiler; adding theories for Sequences; adding retrieval to Spec_Rules; adding timing to Quickcheck
2009-11-15 ago use simultaneous Morphics.fact;
2009-11-13 ago modernized structure Local_Theory;
2009-11-08 ago adapted Generic_Data, Proof_Data;
2009-11-05 ago adapted LocalTheory.declaration;
2009-11-05 ago misc tuning and clarification;
2009-11-01 ago Rules that characterize functional/relational specifications.