Hi, I have installed hol88 with its companion packages:
https://launchpad.net/ubuntu/+source/hol88 Trying to run a verification in the contrib directory I ran into problems that could be reduced to loading the integer library: #load_library `integer`;; evaluation failed load_library: integer not found Section 8.18.2 of the DESCRIPTION lists some installed libraries, including integer. But in the official library directory there is only finite_sets parser prettyp sets string taut trs unwind from that list. Is the integer library simply missing from the hol88 package? How can I fix this? - Gergely ------------------------------------------------------------------------------ Learn Graph Databases - Download FREE O'Reilly Book "Graph Databases" is the definitive new guide to graph databases and their applications. Written by three acclaimed leaders in the field, this first edition is now available. Download your free book today! http://p.sf.net/sfu/NeoTech _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
