Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...2023-03-05, by Shinji KONO
-
Added tag current for changeset f17d060e0bda2023-03-04, by Shinji KONO
-
UFLP→FIP FIP→UFLP with Zorn done2023-03-04, by Shinji KONO
-
...2023-03-04, by Shinji KONO
-
...2023-03-03, by Shinji KONO
-
...2023-03-03, by Shinji KONO
-
UFLP→FIP done2023-03-03, by Shinji KONO
-
...2023-03-03, by kono
-
...2023-03-03, by kono
-
...2023-03-03, by kono
-
...2023-03-02, by Shinji KONO
-
...2023-03-02, by kono
-
...2023-03-02, by kono
-
fix README2023-03-01, by Shinji KONO
-
clean up2023-03-01, by Shinji KONO
-
fip <-> compact done2023-03-01, by Shinji KONO
-
... almost2023-02-28, by Shinji KONO
-
...2023-02-28, by Shinji KONO
-
...2023-02-28, by Shinji KONO
-
...2023-02-28, by Shinji KONO
-
close this2023-02-27, by Shinji KONO
-
...2023-02-27, by kono
-
fix FIP again2023-02-27, by kono
-
...2023-02-26, by kono
-
...2023-02-26, by Shinji KONO
-
...2023-02-26, by Shinji KONO
-
...2023-02-25, by Shinji KONO
-
not-covered2023-02-25, by Shinji KONO
-
...2023-02-25, by Shinji KONO
-
....2023-02-25, by kono