Mercurial > hg > Members > kono > Proof > ZF-in-agda
directory / @ 134:b52683497a27
name | size | permissions |
---|---|---|
![]() |
343 | -rw-r--r-- |
![]() |
30523 | -rw-r--r-- |
![]() |
35149 | -rw-r--r-- |
![]() |
27914 | -rw-r--r-- |
![]() |
14090 | -rw-r--r-- |
![]() |
4616 | -rw-r--r-- |