Mercurial > hg > Papers > 2021 > soto-prosym
directory /Paper/src/agda/ @ 14:393c839f987b default tip
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 .#abridgement.agda
|
22 | lrwxrwxrwx |
|
.#hoare-test.agda
|
22 | lrwxrwxrwx |
|
.#plus2.agda
|
22 | lrwxrwxrwx |
|
And.agda
|
67 | -rw-r--r-- |
|
And.agda.replaced
|
74 | -rw-r--r-- |
|
Nat.agda
|
61 | -rw-r--r-- |
|
Nat.agda.replaced
|
117 | -rw-r--r-- |
|
_Fresh.agda
|
7023 | -rw-r--r-- |
|
_Fresh.agda.replaced
|
8710 | -rw-r--r-- |
|
abridgement.agda
|
425 | -rw-r--r-- |
|
abridgement.agda.replaced
|
545 | -rw-r--r-- |
|
cbc-agda.agda
|
699 | -rw-r--r-- |
|
cbc-agda.agda.replaced
|
939 | -rw-r--r-- |
|
cmp.agda
|
298 | -rw-r--r-- |
|
cmp.agda.replaced
|
399 | -rw-r--r-- |
|
fresh_test.agda
|
368 | -rw-r--r-- |
|
fresh_test.agda.replaced
|
444 | -rw-r--r-- |
|
hoare-test.agda
|
3677 | -rw-r--r-- |
|
hoare-test.agda.replaced
|
4683 | -rw-r--r-- |
|
hoare-while.agda
|
3711 | -rw-r--r-- |
|
hoare-while.agda.replaced
|
4979 | -rw-r--r-- |
|
hoare-while1.agda
|
1211 | -rw-r--r-- |
|
hoare-while1.agda.replaced
|
1463 | -rw-r--r-- |
|
lambda.agda
|
518 | -rw-r--r-- |
|
lambda.agda.replaced
|
948 | -rw-r--r-- |
|
list-any.agda
|
2380 | -rw-r--r-- |
|
list-any.agda.replaced
|
3018 | -rw-r--r-- |
|
logic.agda
|
4579 | -rw-r--r-- |
|
logic.agda.replaced
|
6483 | -rw-r--r-- |
|
plus.agda
|
97 | -rw-r--r-- |
|
plus.agda.replaced
|
131 | -rw-r--r-- |
|
plus2.agda
|
136 | -rw-r--r-- |
|
plus2.agda.replaced
|
170 | -rw-r--r-- |
|
rbt_imple.agda
|
4633 | -rw-r--r-- |
|
rbt_imple.agda.replaced
|
5739 | -rw-r--r-- |
|
rbt_t.agda
|
16107 | -rw-r--r-- |
|
rbt_t.agda.replaced
|
19410 | -rw-r--r-- |
|
rbt_varif.agda
|
1569 | -rw-r--r-- |
|
rbt_varif.agda.replaced
|
2159 | -rw-r--r-- |
|
syllogism.agda
|
112 | -rw-r--r-- |
|
syllogism.agda.replaced
|
193 | -rw-r--r-- |
|
utilities.agda
|
4781 | -rw-r--r-- |
|
utilities.agda.replaced
|
7081 | -rw-r--r-- |