Mercurial > hg > Members > kono > Proof > ZF-in-agda
log fig/axiom-dependency.pdf @ 1101:7ce2cc622c92
age | author | description |
---|---|---|
2020-12-21 | Shinji KONO | reorganiztion for apkg |
age | author | description |
---|---|---|
2020-12-21 | Shinji KONO | reorganiztion for apkg |