hi, everyone
I want to define inverted sequence in HOL4. How can I define arrangement or
full permutation in HOL4? Who can give me some hints on permutation?
Thank you very much! I’m looking for your reply.
Best wishes
Amy
------------------------------------------------------------------------------
This SF.net Dev2Dev email is sponsored by:
Show off your parallel programming skills.
Enter the Intel(R) Threading Challenge 2010.
http://p.sf.net/sfu/intel-thread-sfd
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
