Hi
I am a new user to HOL . It would be really helpful if you let me know about
how to create a new simplification set like real_ss so that I can use it
with RW_TAC and other tacticals.
Hoping for a favorable reply.
Thanks
--
Mukesh Kumar Agrawal
Second Year undergraduate
CSE@IIT Delhi
------------------------------------------------------------------------------
Simplify data backup and recovery for your virtual environment with vRanger.
Installation's a snap, and flexible recovery options mean your data is safe,
secure and there when you need it. Data protection magic?
Nope - It's vRanger. Get your free trial download today.
http://p.sf.net/sfu/quest-sfdev2dev
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
