-- System lambda-omega-l with subtyping and records


-- Existential types and axioms for records.
Path "../lol"
Path "../lolplus"
Load "lambdaLplus"