| Tue, 15 Jul 2003 15:20:54 +0200 | paulson | Fixing a simproc bug | changeset | files |
| Tue, 15 Jul 2003 15:12:22 +0200 | paulson | tidying | changeset | files |
| 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 |
| Fri, 11 Jul 2003 15:00:54 +0200 | berghofe | Restored old (tail recursive!) version of repeat. | changeset | files |
| Fri, 11 Jul 2003 15:00:10 +0200 | berghofe | Exported function goal_params. | changeset | files |
| Fri, 11 Jul 2003 14:59:50 +0200 | berghofe | Added several functions for producing random numbers. | changeset | files |