|
| From: | Mike Thomas |
| Subject: | Re: [Gcl-devel] Re: gcl/acl2 |
| Date: | Wed, 20 Nov 2002 16:23:09 +1000 |
Hi Camm. > Does it certify > all its books? ":mini-proveall" and "make certify-books-short" worked. Cheers Mike Thomas
| [Prev in Thread] | Current Thread | [Next in Thread] |