Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
clean up2020-05-10, by Shinji KONO
-
minimal from LEM2020-05-10, by Shinji KONO
-
...2020-05-09, by Shinji KONO
-
...2020-05-09, by Shinji KONO
-
...2020-05-09, by Shinji KONO
-
...2020-05-09, by Shinji KONO
-
...2020-05-09, by Shinji KONO
-
Added tag current for changeset d9d3654baee12020-05-09, by Shinji KONO
-
seperate choice from LEM2020-05-09, by Shinji KONO
-
separate choice2020-05-09, by Shinji KONO
-
Added tag current for changeset 29a85a427ed22020-04-25, by Shinji KONO
-
ε-induction2020-04-25, by Shinji KONO
-
add documents2020-01-11, by Shinji KONO
-
separate ordered pair and Boolean Algebra2019-12-31, by Shinji KONO
-
fix incl2019-12-30, by Shinji KONO