| Sat, 16 Apr 2011 15:47:52 +0200 | modernized structure Proof_Context; | file | diff | annotate |
| Sat, 08 Jan 2011 17:14:48 +0100 | misc tuning and comments based on review of Theory_Data, Proof_Data, Generic_Data usage; | file | diff | annotate |
| Wed, 20 Jan 2010 11:56:45 +0100 | refactoring the predicate compiler; adding theories for Sequences; adding retrieval to Spec_Rules; adding timing to Quickcheck | file | diff | annotate |
| Sun, 15 Nov 2009 20:56:34 +0100 | use simultaneous Morphics.fact; | file | diff | annotate |
| Fri, 13 Nov 2009 21:11:15 +0100 | modernized structure Local_Theory; | file | diff | annotate |
| Sun, 08 Nov 2009 16:30:41 +0100 | adapted Generic_Data, Proof_Data; | file | diff | annotate |
| Thu, 05 Nov 2009 22:08:47 +0100 | adapted LocalTheory.declaration; | file | diff | annotate |
| Thu, 05 Nov 2009 20:41:45 +0100 | misc tuning and clarification; | file | diff | annotate |
| Sun, 01 Nov 2009 21:42:27 +0100 | Rules that characterize functional/relational specifications. | file | diff | annotate |