Converted TCP1_errors.lem TCP1_signals.lem TCP1_utils.lem to lem format from HOL format.

Lots of FIXMEs.

Notes:

TCP1_utils.lem:

0:int is int_zero

DIV is not infix

reals need to be handled

> on reals is not supported (and not supported on int and num either)

real_minus

fm ' k is find k fm

? is exists

/\ is &&

syntax:  ?(k,v) :: fm \\ k0. k = v

choose needs a lem equivalent (or remove when parsing?)

can't pattern match against suc n

IN' on lists, NOTIN' on lists not defined as infix

types are list num not num list

options SOME NONE are Some None

case is match; || is |

F is false, T is true