log prepaper/src/whileTestSemSound.agda.replaced @ 14:a63df15c9afc default tip

age author description
2020-12-08 soto init-test