Hi,
Dear All,
I am working in HOL4. I want to extract the domain of the set of binary
relations.
For example, when I tried this goal,
g `! S. (FST (S CROSS S)) SUBSET (FST (S CROSS S))`;
It could not run. Can any one guide me?
Regards,
Nadeem Iqbal
HoD School of Computing and Information Sciences,
Imperial College of Business Studies,
Lahore, Pakistan.
------------------------------------------------------------------------------
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
