-- System lambda-omega-l with subtyping and records System (*s->records,#s, *p,#p), (*s:#s, *p:#p), ((#s,#s), (#s,*s), (*s,*s), (#s,#p), (*s,#p), (#p,#p), (#s,*p),(*s,*p),(#p,*p),(*p,*p)), (#s), ((#s,*s),(#s,#p),(#s,*p)) -- Existential types and axioms for records. Path "../lol" Path "../lolplus" Load "lambdaLplus"