Thu, 17 Jul 2003 15:23:20 +0200 | skalberg | Added package for definition by specification. | changeset | files |
Wed, 16 Jul 2003 12:09:41 +0200 | paulson | tidying | changeset | files |
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 |