I’ll try to get you a set of source files and a coordinating script that calls
use on them in the right order.
Michael
On 11 Dec 2013, at 12:43 am, David Matthews david.matth...@prolingua.co.uk
wrote:
Michael,
Unfortunately that file is really too large to make any sense of it just by
A minimally modified version of the file at
https://raw.github.com/mn200/HOL/master/src/bool/boolScript.sml
takes 83 seconds to be “used” (using PolyML.use) into an interactive PolyML
session.
There are a great many files that need to be used before boolScript gets to
work, but none of