[Hol-info] (no subject)

[Yassmeen Derhalli]

Hi,

I am using HOL4 in hol-mode, yesterday I started receiving this error
message


_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info