src/Pure/Isar/spec_rules.ML
2011-01-08 wenzelm 2011-01-08 misc tuning and comments based on review of Theory_Data, Proof_Data, Generic_Data usage;
2010-01-20 bulwahn 2010-01-20 refactoring the predicate compiler; adding theories for Sequences; adding retrieval to Spec_Rules; adding timing to Quickcheck
2009-11-15 wenzelm 2009-11-15 use simultaneous Morphics.fact;
2009-11-13 wenzelm 2009-11-13 modernized structure Local_Theory;
2009-11-08 wenzelm 2009-11-08 adapted Generic_Data, Proof_Data; tuned;
2009-11-05 wenzelm 2009-11-05 adapted LocalTheory.declaration;
2009-11-05 wenzelm 2009-11-05 misc tuning and clarification;
2009-11-01 wenzelm 2009-11-01 Rules that characterize functional/relational specifications.