Mercurial > hg > Members > kono > Proof > category
graph
-
... dead end2020-04-08, by Shinji KONO
-
...2020-04-08, by Shinji KONO
-
...2020-04-08, by Shinji KONO
-
≡ is no good because of non regularized terms2020-04-07, by Shinji KONO
-
dead end2020-04-07, by Shinji KONO
-
...2020-04-07, by Shinji KONO
-
...2020-04-06, by Shinji KONO
-
std2020-04-05, by Shinji KONO
-
...2020-04-05, by Shinji KONO
-
...2020-04-05, by Shinji KONO
-
give update idempotent2020-04-05, by Shinji KONO
-
idempotent is not finnished but other parts may be proved2020-04-05, by Shinji KONO
-
...2020-04-05, by Shinji KONO
-
...2020-04-05, by Shinji KONO
-
...2020-04-05, by Shinji KONO
-
idem-<l> and <r>2020-04-04, by Shinji KONO