| Fri, 28 Oct 2005 22:27:55 +0200 | wenzelm | renamed Goal constant to prop, more general protect/unprotect interfaces; | file | diff | annotate |
| Tue, 25 Oct 2005 18:18:57 +0200 | wenzelm | prove_raw: cterms, explicit asms; | file | diff | annotate |
| Fri, 21 Oct 2005 18:20:29 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 21 Oct 2005 18:15:00 +0200 | wenzelm | Internal goals. | file | diff | annotate |