Manuscript Oai279-A@1 · Oai279-A.tex · section · a1abc73f
Interface 1: retained classical histories
Stage 1: audit the five interfaces without importing them › Interface 1: retained classical histories · lines 383–390
The source's lem:records has this role
SourceModel. The record discipline also has a scoped analogue
in Cheung's En01-A branch normal form and En02-B programme soundness
CheungEn01A,CheungEn02B. Those manuscripts do not construct the
factoring controller.