directory / @ 1464:484f83b04b5d default tip

name size permissions
dir. fig/ drwxr-xr-x
dir. src/ drwxr-xr-x
file .hgtags 2545 -rw-r--r--
file LICENSE.md 1119 -rw-r--r--
file README.md 3506 -rw-r--r--
file Todo 1017 -rw-r--r--
file ZF.agda-lib 93 -rw-r--r--
file ZF.agda-pkg 330 -rw-r--r--
file zf-in-agda.html 60352 -rw-r--r--
file zf-in-agda.ind 48887 -rw-r--r--