Mercurial > hg > Members > kono > Proof > ZF-in-agda
directory / @ 118:78fe704c3543
name | size | permissions |
---|---|---|
![]() |
343 | -rw-r--r-- |
![]() |
23862 | -rw-r--r-- |
![]() |
35149 | -rw-r--r-- |
![]() |
27257 | -rw-r--r-- |
![]() |
13421 | -rw-r--r-- |
![]() |
4451 | -rw-r--r-- |