Revise Marcello's revisions to the imprecision paper #14

Closed rfl-urbaniak closed 8 months ago