src/Pure/Isar/spec_rules.ML
2011-10-28 ago uniform Local_Theory.declaration with explicit params;
2011-04-16 ago modernized structure Proof_Context;
2011-01-08 ago misc tuning and comments based on review of Theory_Data, Proof_Data, Generic_Data usage;
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.