Mercurial > hg > Members > ryokka > HoareLogic
comparison whileTestPrimProof.agda @ 73:52acd110df18
fix
author | ryokka |
---|---|
date | Thu, 26 Dec 2019 17:39:56 +0900 (2019-12-26) |
parents | 9071e5a77a13 |
children | a7263ecf8671 |
comparison
equal
deleted
inserted
replaced
72:66ba3b1eec0a | 73:52acd110df18 |
---|