Mercurial > hg > Members > kono > Proof > ZF-in-agda
directory / @ 141:21b2654985c4
name | size | permissions |
---|---|---|
![]() |
343 | -rw-r--r-- |
![]() |
29093 | -rw-r--r-- |
![]() |
35149 | -rw-r--r-- |
![]() |
28341 | -rw-r--r-- |
![]() |
14090 | -rw-r--r-- |
![]() |
4571 | -rw-r--r-- |