|
From: | Victor Porton |
Subject: | [Isarmathlib-devel] How to configure Isabelle to use IsarMathLib |
Date: | Wed, 05 Jan 2011 00:39:52 +0300 |
I have IsarMathLib unpacked into a subdir of /home. How to make Isabelle and ProofGeneral to use IsarMathLib? I want to import theories from IsarMathLib and make use of "Find Theorems" feature of ProofGeneral. -- Victor Porton - http://portonvictor.org
[Prev in Thread] | Current Thread | [Next in Thread] |