committed changes as per Issue #1589#1592

Merged

MatthewDaggitt merged 8 commits intoagda:masterfrom

jamesmckinna:master

Sep 29, 2021

Commits on Sep 21, 2021

committed changes as per Issue \#1589
jamesmckinna
committed

Commits on Sep 22, 2021

changes in line with Matthew and Jacques's comments; new lemma added
jamesmckinna
committed
fixed whitespace
jamesmckinna
committed
deprecated code, commented out, now removed entirely; types retained for documentation/argument order shenanigans
jamesmckinna
committed

Commits on Sep 23, 2021

Commits on Sep 24, 2021

added fixities
jamesmckinna
committed