log prepaper/src/whileTestSemSound.agda.replaced @ 0:3dba680da508

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