Have you seen sections 5.4 and 5.7 of the HOL4 Description manual?
On Mon, Mar 18, 2013 at 10:49 AM, Waqar Ahmad <[email protected]>wrote:
> Sir,
>
> I want to know that whats the algorithm behind these BASIC proof Tactics.
> I have searched but I did not find any useful information regarding these
> tactics.
>
> Thanks
>
> --
> Regards,
>
> Waqar Ahmed
> Ph.D Student,
> School of Electrical Engineering and Computer Science (SEECS),
> National University of Science and Technology (NUST), H-12, Islamabad,
> Pakistan
>
>
> ------------------------------------------------------------------------------
> Everyone hates slow websites. So do we.
> Make your web apps faster with AppDynamics
> Download AppDynamics Lite for free today:
> http://p.sf.net/sfu/appdyn_d2d_mar
> _______________________________________________
> hol-info mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/hol-info
>
>
------------------------------------------------------------------------------
Everyone hates slow websites. So do we.
Make your web apps faster with AppDynamics
Download AppDynamics Lite for free today:
http://p.sf.net/sfu/appdyn_d2d_mar
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
