Mercurial > hg > Members > ryokka > HoareLogic

comparison RelOp.agda @ 43:52523a6ee221

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
think about whileTransition
author ryokka
date Sun, 15 Dec 2019 19:22:21 +0900
parents 5e4abc1919b4
children bfe7d83cf9ba
comparison
equal deleted inserted replaced
42:8813f26da3b7 43:52523a6ee221