diff options
| author |  Rustan Leino <unknown> | 2014-02-10 13:22:10 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-02-10 13:22:10 -0800 |
| commit | 783c272bb035c7ce419c312cd7ade5a8de378d75 (patch) | |
| tree | 9390938f9c1a056ab6b63c2128eff01b628e761c /Util | |
| parent | ef277df91eba1e166f709332ca5573b896944c19 (diff) | |
Added examples from the Kozen and Silva paper "Practical Coinduction".
Diffstat (limited to 'Util')
0 files changed, 0 insertions, 0 deletions