Hi,
I am using HOL4 in hol-mode, yesterday I started receiving this error message
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
- [Hol-info] (no subject) Robert White
- [Hol-info] (no subject) Abid Rauf
- [Hol-info] (no subject) Yassmeen Derhalli
- [Hol-info] (no subject) ????????
- Re: [Hol-info] (no subject) Chun Tian (binghe)
- Re: [Hol-info] (no subject) Ramana Kumar
