Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...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
-
...2022-12-20, by Shinji KONO
-
index version2022-12-20, by Shinji KONO
-
fix comments2022-12-20, by Shinji KONO
-
order removal2022-12-19, by Shinji KONO
-
try to hide spu from source2022-12-18, by Shinji KONO
-
supf-idem is not so easy2022-12-18, by Shinji KONO
-
order may come from supf-idem2022-12-18, by Shinji KONO
-
Added tag release for changeset a92aacd3d83a2022-12-17, by Shinji KONO
-
Zorn done2022-12-17, by Shinji KONO
-
done?2022-12-17, by Shinji KONO
-
0< is no good2022-12-17, by Shinji KONO
-
strange bug of agda2022-12-16, by Shinji KONO
-
...2022-12-16, by Shinji KONO
-
order done2022-12-16, by Shinji KONO
-
...2022-12-16, by Shinji KONO
-
...2022-12-16, by Shinji KONO
-
is-minsup done2022-12-16, by Shinji KONO
-
...2022-12-15, by Shinji KONO
-
...2022-12-14, by Shinji KONO
-
...2022-12-14, by Shinji KONO
-
supf-mono done2022-12-14, by Shinji KONO
-
...2022-12-13, by Shinji KONO
-
...2022-12-13, by Shinji KONO
-
...2022-12-13, by Shinji KONO
-
add 0<supfz2022-12-12, by Shinji KONO
-
ic case2022-12-12, by Shinji KONO
-
...2022-12-12, by Shinji KONO
-
equal case2022-12-12, by Shinji KONO
-
...2022-12-12, by Shinji KONO
-
...2022-12-11, by Shinji KONO
-
...2022-12-11, by Shinji KONO
-
another IChain2022-12-11, by Shinji KONO
-
IChain?2022-12-10, by Shinji KONO
-
...2022-12-10, by Shinji KONO
-
...2022-12-10, by Shinji KONO
-
lim2022-12-09, by Shinji KONO
-
sup=u ONDE2022-12-09, by Shinji KONO
-
order (px case) done2022-12-09, by Shinji KONO
-
...2022-12-09, by Shinji KONO
-
order connected2022-12-09, by Shinji KONO
-
...2022-12-09, by Shinji KONO
-
... bad2022-12-09, by Shinji KONO
-
...2022-12-07, by Shinji KONO
-
...2022-12-07, by Shinji KONO
-
...2022-12-07, by Shinji KONO
-
...2022-12-07, by Shinji KONO
-
...2022-12-05, by Shinji KONO
-
is-minsup in px case done2022-12-04, by Shinji KONO
-
...2022-12-04, by Shinji KONO
-
...2022-12-04, by Shinji KONO
-
pxhainx conditon is requied?2022-12-04, by Shinji KONO
-
...2022-12-03, by Shinji KONO
-
...2022-12-03, by Shinji KONO
-
...2022-12-03, by Shinji KONO
-
mf< everywhere2022-12-02, by Shinji KONO
-
...2022-12-02, by Shinji KONO
-
...2022-12-02, by Shinji KONO
-
...2022-12-02, by Shinji KONO
-
...2022-12-01, by Shinji KONO
-
ch-init again, because ch-is-sup require u<x which is not valid supf o∅2022-12-01, by Shinji KONO
-
minsup is not obvious in ZChain2022-11-30, by Shinji KONO
-
...2022-11-30, by Shinji KONO
-
...2022-11-28, by Shinji KONO
-
ChainP removal2022-11-27, by Shinji KONO
-
...2022-11-27, by Shinji KONO
-
...2022-11-26, by Shinji KONO
-
...2022-11-25, by Shinji KONO
-
...2022-11-25, by Shinji KONO
-
supf-< and ZChain1.order is removed2022-11-25, by Shinji KONO
-
...2022-11-25, by Shinji KONO
-
...2022-11-25, by Shinji KONO
-
...2022-11-25, by Shinji KONO
-
...2022-11-24, by Shinji KONO
-
...2022-11-24, by Shinji KONO
-
sa<b2022-11-24, by Shinji KONO