• pknaggs's avatar
    Added reference to Rational in introduction · ef991087
    pknaggs authored
    Removed x:enhanced-locals markup
    Replaced F94 with F12
    Added implementation of LOCALS| (taken from rational introduction)
    Added rational for LOCALS| (taken from rational introduction)
    Added word number for {:
    Minor revisions to definition and rational of {:
    ef991087
locals.tex 21 KB