[opentheory-users] Importing proofs of version 6

[Robert White]

Dear Joe,

I noticed that I can't using import for the current version (version 6). I
am using the one from:

git clone http://src.gilith.com/hol-light


I wonder if you have implemented it/updated the import.ml file, so I won't
have to redo your work.


Thanks

Robert
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20150603/6990ba92/attachment.html>