|
| From: | clefort |
| Subject: | [Isarmathlib-devel] problem loading Isarmath library |
| Date: | Wed, 20 Dec 2006 09:15:00 -0600 |
Hello,What is a simple way to experiment with some of the lemmas in your isarmath library in ProofGeneral running one of the Isabelle Logics? Is there a repository of the isarmath newsgroup?
Clint LeFort
| [Prev in Thread] | Current Thread | [Next in Thread] |