[Hol-info] hol_light F# port

[Tony J. <ton...@co...>]

I've set up a svn server with the beginnings of an F# port of hol_light.  All I have right now is Lib.f (very much vapor ware at the moment).   However the svn has read/write access to anonymous users, so if anyone wants to work on it's open to the public.

svn://67.184.65.219:/var/svn/f_sharp_hol_light