Hi everyone，
Who know the different between with type and datatype in HOL4? I wanted to
define a new type for matrix in HOL4, but I might be confusing type with
datatype. I didn’t know how to start to define the type of matrix.
Who can help me ? Thank you very much. I’m looking for your reply.
Best wishes,
Amy
------------------------------------------------------------------------------
Download Intel® Parallel Studio Eval
Try the new software tools for yourself. Speed compiling, find bugs
proactively, and fine-tune applications for parallel performance.
See why Intel Parallel Studio got high marks during beta.
http://p.sf.net/sfu/intel-sw-dev
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
