[isabelle] HOL for x86_64 Linux?


Is there a version of HOL compiled for 64-bit Linux available? If not, where can I get the sources to compile myself? Otherwise, will the 32-bit version of HOL work with the 64-bit version of polyml?


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.