On 31/10/12 13:32, Cris Perdue wrote: > Pardon me, what is expandf? I don't see it mentioned in the HOL Light > documentation, for what that is worth.
See http://hol.sourceforge.net/kananaskis-8-helpdocs/help/Docfiles/HTML/proofManagerLib.expandf.html Michael ------------------------------------------------------------------------------ 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_sfd2d_oct _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
