On Mon, 2012-06-25 at 20:17 -0500, Bill Richter wrote:
> let Doubleton_DEF = new_definition
> `!s:point->bool. doubleton s <=>
> ?A:point B:point. s = {A, B}`;;
I realize that this was a boiled-down example, but just for the record:
you might want to require that A and B are distinct.
Best regards,
Tjark
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
