| Tue, 23 Jul 2002 15:07:12 +0200 | paulson | Relativization and Separation for the function "nth" | changeset | files |
| Mon, 22 Jul 2002 13:55:44 +0200 | berghofe | Added "nocite" to avoid BibTeX error when proofs are switched off. | changeset | files |
| Sun, 21 Jul 2002 15:52:39 +0200 | berghofe | Added program extraction keywords. | changeset | files |
| Sun, 21 Jul 2002 15:45:41 +0200 | berghofe | Document for program extraction in HOL. | changeset | files |
| Sun, 21 Jul 2002 15:44:42 +0200 | berghofe | Examples for program extraction in HOL. | changeset | files |
| Sun, 21 Jul 2002 15:43:14 +0200 | berghofe | Rules for rewriting HOL proofs. | changeset | files |
| Sun, 21 Jul 2002 15:42:30 +0200 | berghofe | Added theory for setting up program extraction. | changeset | files |
| Sun, 21 Jul 2002 15:37:04 +0200 | berghofe | Added program extraction module. | changeset | files |