| Sun, 05 Feb 2012 08:57:03 +0100 | bulwahn | adding a quickcheck example about functions and sets | file | diff | annotate |
| Thu, 02 Feb 2012 10:16:10 +0100 | bulwahn | adding an example for finite and cofinite sets | file | diff | annotate |
| Fri, 27 Jan 2012 19:08:48 +0100 | bulwahn | adding some more examples for quickcheck; replaced FIXME comments | file | diff | annotate |
| Fri, 27 Jan 2012 10:31:31 +0100 | bulwahn | corrected expectation; added an example for quickcheck | file | diff | annotate |
| Thu, 26 Jan 2012 12:04:05 +0100 | bulwahn | adding quickcheck example with THE | file | diff | annotate |
| Tue, 10 Jan 2012 10:18:08 +0100 | bulwahn | adding quickcheck examples with multisets | file | diff | annotate |
| Mon, 26 Dec 2011 22:17:10 +0100 | haftmann | incorporated More_Set and More_List into the Main body -- to be consolidated later | file | diff | annotate |