changeset | f5705a66e9ea |
---|---|
branch | default |
bookmark | |
tag | tip |
user | soto@cr.ie.u-ryukyu.ac.jp |
description | (none) |
files | .DS_Store Hoare.agda HoareSoundness.agda RelOp.agda gearswhile.agda gearswhilehoare.agda utilities.agda whileimple.agda whileploof.agda whilespec.agda |