Mon, 22 Sep 2008 15:26:11 +0200 | wenzelm | added reject_draft; | changeset | files |
Mon, 22 Sep 2008 15:26:07 +0200 | wenzelm | type thm: fully internal derivation, no longer exported; | changeset | files |
Mon, 22 Sep 2008 13:56:04 +0200 | haftmann | generic quickcheck framework | changeset | files |