| Mon, 22 Sep 2008 15:26:13 +0200 | wenzelm | added Promise constructor, which is similar to Oracle but may be replaced later; | changeset | files |
| Mon, 22 Sep 2008 15:26:11 +0200 | wenzelm | removed deriv.ML which is now incorporated into thm.ML; | changeset | files |
| 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 |
| Mon, 22 Sep 2008 13:56:03 +0200 | haftmann | TEMPORARY: make batch run happy | changeset | files |
| Mon, 22 Sep 2008 13:56:01 +0200 | haftmann | absolute Library path | changeset | files |
| Mon, 22 Sep 2008 13:55:59 +0200 | haftmann | different session branches for HOL-Plain vs. Plain | changeset | files |