| Tue, 26 Mar 2013 12:20:56 +0100 | hoelzl | rename RealDef to Real | file | diff | annotate |
| Tue, 26 Mar 2013 12:20:55 +0100 | hoelzl | merge RComplete into RealDef | file | diff | annotate |
| Tue, 24 Jul 2012 12:36:59 +0200 | bulwahn | moving a first Quickcheck example with many computations into a separate session Quickcheck_Benchmark | file | diff | annotate | base |