src/Pure/Isar/spec_rules.ML
Fri, 28 Oct 2011 22:17:30 +0200 wenzelm uniform Local_Theory.declaration with explicit params;
Sat, 16 Apr 2011 15:47:52 +0200 wenzelm modernized structure Proof_Context;
Sat, 08 Jan 2011 17:14:48 +0100 wenzelm misc tuning and comments based on review of Theory_Data, Proof_Data, Generic_Data usage;
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
Sun, 15 Nov 2009 20:56:34 +0100 wenzelm use simultaneous Morphics.fact;
Fri, 13 Nov 2009 21:11:15 +0100 wenzelm modernized structure Local_Theory;
Sun, 08 Nov 2009 16:30:41 +0100 wenzelm adapted Generic_Data, Proof_Data;
Thu, 05 Nov 2009 22:08:47 +0100 wenzelm adapted LocalTheory.declaration;
Thu, 05 Nov 2009 20:41:45 +0100 wenzelm misc tuning and clarification;
Sun, 01 Nov 2009 21:42:27 +0100 wenzelm Rules that characterize functional/relational specifications.
less more (0) tip