Mercurial > hg > Members > kono > Proof > automaton
log
age | author | description |
---|---|---|
Wed, 19 Jul 2023 07:58:18 +0900 | Shinji KONO | finiteSet from fin injection done |
Wed, 19 Jul 2023 07:08:43 +0900 | Shinji KONO | ... |
Tue, 18 Jul 2023 19:21:51 +0900 | Shinji KONO | ... |
Tue, 18 Jul 2023 18:54:46 +0900 | Shinji KONO | fix fin<n |
Tue, 18 Jul 2023 18:03:49 +0900 | Shinji KONO | ... |
Tue, 18 Jul 2023 17:20:37 +0900 | Shinji KONO | ... |
Tue, 18 Jul 2023 17:10:30 +0900 | Shinji KONO | ... |