| 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 |
| Fri, 19 Jul 2002 18:44:37 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Fri, 19 Jul 2002 18:44:36 +0200 | wenzelm | accomodate cumulative locale predicates; | changeset | files |