| 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 | file | diff | annotate |
| Sun, 15 Nov 2009 20:56:34 +0100 | wenzelm | use simultaneous Morphics.fact; | file | diff | annotate |
| Fri, 13 Nov 2009 21:11:15 +0100 | wenzelm | modernized structure Local_Theory; | file | diff | annotate |
| Sun, 08 Nov 2009 16:30:41 +0100 | wenzelm | adapted Generic_Data, Proof_Data; | file | diff | annotate |
| Thu, 05 Nov 2009 22:08:47 +0100 | wenzelm | adapted LocalTheory.declaration; | file | diff | annotate |
| Thu, 05 Nov 2009 20:41:45 +0100 | wenzelm | misc tuning and clarification; | file | diff | annotate |
| Sun, 01 Nov 2009 21:42:27 +0100 | wenzelm | Rules that characterize functional/relational specifications. | file | diff | annotate |