log paper/src/whileTestGears.agda.replaced @ 14:a63df15c9afc default tip

age author description
2021-02-09 soto add final thesis