Hey guys,
When playing with HOL recently I had a problem in rewriting a set
comprehension. BETA_CONV refuses to reduce this:
--`{x | x >0} x`--
I use pred_set, so that should be the same as --`(\x. x>0) x`--.
Bug or feature?
--Wish.
------------------------------------------------------------------------------
Virtualization & Cloud Management Using Capacity Planning
Cloud computing makes use of virtualization - but cloud computing
also focuses on allowing computing to be delivered as a service.
http://www.accelacomm.com/jaw/sfnl/114/51521223/
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
