Mercurial > hg > Members > kono > Proof > HyperReal
directory /src/ @ 4:f094694aeec5
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
HyperReal.agda | 5526 | -rw-r--r-- |
logic.agda | 4939 | -rw-r--r-- |
nat.agda | 19279 | -rw-r--r-- |
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
HyperReal.agda | 5526 | -rw-r--r-- |
logic.agda | 4939 | -rw-r--r-- |
nat.agda | 19279 | -rw-r--r-- |