Mercurial > hg > Members > kono > Proof > ZF-in-agda

directory / @ 987:c8c60a05b39b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
dir. fig/ drwxr-xr-x
dir. src/ drwxr-xr-x
file .hgtags 1957 -rw-r--r--
file LICENSE.md 1119 -rw-r--r--
file README.md 2517 -rw-r--r--
file Todo 623 -rw-r--r--
file ZF.agda-lib 47 -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--