[Why3-club] HighOrd theory documentation

Shigeo Nishi shigeonishi at hotmail.com
Fri Nov 23 04:02:54 CET 2012


Hi, I'm trying to use the HighOrd theory but can't find any documentation about it. Can someone help me?

Specifically I would like to use first class predicates in structures or tuples by defining variables of such types. There are some examples declaring them (SetComprehension theory) but haven't seen them applied to a variable.

Thanks !!
 		 	   		   		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/why3-club/attachments/20121122/4a2e99b1/attachment.html>


More information about the Why3-club mailing list