In HOL we can search the theorems in the theories given in the following link
http://hol.sourceforge.net/kananaskis-7-helpdocs/help/HOLindex.html but in HOL-light, how can we search out the required theorems? Please help me out!! Best Regards: *BINYAMEEN* SAVE lab School of Electrical Engineering and Computer Science., NUST, Islamabad, Pakistan
------------------------------------------------------------------------------ Get your Android app more play: Bring it to the BlackBerry PlayBook in minutes. BlackBerry App World™ now supports Android™ Apps for the BlackBerry® PlayBook™. Discover just how easy and simple it is! http://p.sf.net/sfu/android-dev2dev
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
