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
-
...2023-02-25, by kono
-
...2023-02-24, by kono
-
...2023-02-24, by kono
-
...2023-02-23, by Shinji KONO
-
...2023-02-23, by kono
-
fix2023-02-23, by Shinji Kono
-
...2023-02-22, by Shinji KONO
-
...2023-02-22, by Shinji KONO
-
...2023-02-21, by Shinji KONO
-
Func and Funcs2023-02-18, by Shinji KONO
-
...2023-01-23, by Shinji KONO
-
...2023-01-22, by Shinji KONO
-
...2023-01-22, by Shinji KONO
-
...2023-01-22, by Shinji KONO
-
...2023-01-22, by Shinji KONO
-
Neighbor Filter2023-01-21, by Shinji KONO
-
...2023-01-21, by Shinji KONO
-
...2023-01-21, by Shinji KONO
-
...2023-01-21, by Shinji KONO
-
...2023-01-21, by Shinji KONO
-
...2023-01-21, by Shinji KONO
-
Closure in Topology2023-01-20, by Shinji KONO
-
...2023-01-20, by Shinji KONO
-
...2023-01-20, by Shinji KONO
-
...2023-01-20, by Shinji KONO
-
...2023-01-20, by Shinji KONO
-
...2023-01-19, by Shinji KONO
-
filter definition?2023-01-19, by Shinji KONO
-
FIP to Filter done2023-01-19, by Shinji KONO
-
...2023-01-18, by Shinji KONO
-
...2023-01-18, by Shinji KONO
-
...2023-01-18, by Shinji KONO
-
Finite intersection property to Compact done2023-01-17, by Shinji KONO
-
...2023-01-17, by Shinji KONO
-
...2023-01-16, by Shinji KONO
-
recovered2023-01-16, by Shinji KONO
-
Union for cover2023-01-16, by Shinji KONO
-
wrong cover definition2023-01-16, by Shinji KONO
-
...2023-01-15, by Shinji KONO
-
...2023-01-15, by Shinji KONO
-
...2023-01-15, by Shinji KONO
-
Topology clean up2023-01-15, by Shinji KONO
-
Maximal Filter and Ultra Filter generation done2023-01-14, by Shinji KONO
-
...2023-01-13, by Shinji KONO
-
...2023-01-13, by Shinji KONO
-
...2023-01-13, by Shinji KONO
-
...2023-01-13, by Shinji KONO
-
...2023-01-12, by Shinji KONO
-
..2023-01-12, by Shinji KONO
-
...2023-01-12, by Shinji KONO
-
...2023-01-12, by Shinji KONO
-
...2023-01-11, by Shinji KONO
-
...2023-01-11, by Shinji KONO
-
...2023-01-10, by Shinji KONO
-
use different filter2023-01-10, by Shinji KONO
-
...2023-01-10, by Shinji KONO
-
...2023-01-10, by Shinji KONO
-
...2023-01-09, by Shinji KONO
-
...2023-01-09, by Shinji KONO
-
...2023-01-09, by Shinji KONO
-
...2023-01-04, by Shinji KONO
-
add OS ∋ od∅2023-01-04, by Shinji KONO
-
...2023-01-03, by Shinji KONO
-
FIP fix2023-01-03, by Shinji KONO
-
...2023-01-02, by Shinji KONO
-
Product Topology done2023-01-01, by Shinji KONO
-
generated topology from subbase done2023-01-01, by Shinji KONO
-
...2023-01-01, by Shinji KONO
-
....2023-01-01, by Shinji KONO
-
...2023-01-01, by Shinji KONO
-
fix Topology definition2023-01-01, by Shinji KONO
-
...2022-12-31, by Shinji KONO
-
...2022-12-31, by Shinji KONO
-
...2022-12-31, by Shinji KONO
-
...2022-12-31, by Shinji KONO
-
...2022-12-31, by Shinji KONO
-
...2022-12-31, by Shinji KONO
-
...2022-12-30, by Shinji KONO
-
...2022-12-30, by Shinji KONO
-
...2022-12-29, by Shinji KONO
-
Added tag current for changeset a9a7ad7784cc2022-12-29, by Shinji KONO
-
fix topology2022-12-29, by Shinji KONO
-
...2022-12-28, by Shinji KONO
-
PFOD2022-12-26, by Shinji KONO
-
...2022-12-25, by Shinji KONO
-
...2022-12-24, by Shinji KONO
-
add README2022-12-24, by Shinji KONO
-
recovery2022-12-23, by Shinji KONO
-
OD clean up2022-12-22, by Shinji KONO
-
this is no good2022-12-21, by Shinji KONO