| Tue, 15 Jul 2003 08:25:20 +0200 | nipkow | Some new thm (ex_map_conv?) | changeset | files |
| Mon, 14 Jul 2003 14:44:06 +0200 | kleing | use Library.Some/None instead of just Some/None in generated quickcheck code | changeset | files |
| Fri, 11 Jul 2003 15:01:41 +0200 | berghofe | Added keywords for random testing. | changeset | files |