Mercurial > hg > Members > kono > Proof > ZF-in-agda
directory / @ 1440:a7d46b1c2a70
name | size | permissions |
---|---|---|
![]() |
drwxr-xr-x | |
![]() |
drwxr-xr-x | |
![]() |
2545 | -rw-r--r-- |
![]() |
1119 | -rw-r--r-- |
![]() |
3506 | -rw-r--r-- |
![]() |
784 | -rw-r--r-- |
![]() |
47 | -rw-r--r-- |
![]() |
330 | -rw-r--r-- |
![]() |
60352 | -rw-r--r-- |
![]() |
48887 | -rw-r--r-- |