Ashish, On Tue, 2012-01-10 at 07:32 +0000, Ashish Darbari wrote: > When I load the HolSmtLib at the HOL prompt, I get the [Chr] error and > HOL crashes after this error.
In addition to Tom's reply, I would like to point out that Moscow ML hasn't received much maintenance in recent years, and HOL4 now also supports Poly/ML. Unless you need to run one of HOL4's (very few) MoscowML-specific examples, you're probably better off using that. The HOL4 installation notes provide further instructions. Kind regards, Tjark ------------------------------------------------------------------------------ Write once. Port to many. Get the SDK and tools to simplify cross-platform app development. Create new or port existing apps to sell to consumers worldwide. Explore the Intel AppUpSM program developer opportunity. appdeveloper.intel.com/join http://p.sf.net/sfu/intel-appdev _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
