Email Gateway (Aug 18 2022 at 11:13): Email Gateway (Aug 18 2022 at 11:13):From: Steven Obua <obua@in.tum.de>
EM Murphy wrote:
In what directory? There is an isabelle settings variable HOL4_PROOFS
which points to the proofs directories. Is your proof tree located in
one of those directories ?
Steven
Email Gateway (Aug 18 2022 at 11:17):From: EM Murphy <E.M.Murphy-2@sms.ed.ac.uk>
I'm trying to run the HOL4Base.thy file but I'm getting an error at
the first line
setup_theory bool, saying it can't find the proof files. Does anyone
know what is causing this? The bool.imp file is in the directory.
Elaine
Last updated: May 03 2024 at 08:18 UTC