Mercurial > hg > Members > kono > Proof > automaton

log agda/finiteSet.agda @ 143:f896c112f01f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Sun, 27 Dec 2020 13:26:44 +0900 Shinji KONO clean up
Wed, 18 Dec 2019 17:34:15 +0900 Shinji KONO ...
Sun, 24 Nov 2019 19:13:44 +0900 Shinji KONO clean up
Sun, 24 Nov 2019 18:43:45 +0900 Shinji KONO fin-< using data done
Sun, 24 Nov 2019 15:40:37 +0900 Shinji KONO ...
Sun, 24 Nov 2019 14:52:20 +0900 Shinji KONO ...
Sun, 24 Nov 2019 14:30:11 +0900 Shinji KONO ...
Sun, 24 Nov 2019 11:37:00 +0900 Shinji KONO ...
Sun, 24 Nov 2019 11:05:32 +0900 Shinji KONO ...
Sun, 24 Nov 2019 10:08:14 +0900 Shinji KONO ...
Sat, 23 Nov 2019 17:43:02 +0900 Shinji KONO bad direction on fin-<
Sat, 23 Nov 2019 14:39:12 +0900 Shinji KONO ..
Fri, 22 Nov 2019 22:02:17 +0900 Shinji KONO finite done
Fri, 22 Nov 2019 19:30:10 +0900 Shinji KONO ...
Fri, 22 Nov 2019 17:35:12 +0900 Shinji KONO clean up
Fri, 22 Nov 2019 17:20:12 +0900 Shinji KONO F2L-iso done
Fri, 22 Nov 2019 15:16:06 +0900 Shinji KONO ...
Thu, 21 Nov 2019 18:34:22 +0900 Shinji KONO ...
Wed, 20 Nov 2019 22:31:54 +0900 Shinji KONO finite
Wed, 20 Nov 2019 19:51:30 +0900 Shinji KONO ...
Wed, 20 Nov 2019 13:34:34 +0900 Shinji KONO fin-∨' almost finished
Wed, 20 Nov 2019 00:01:38 +0900 Shinji KONO ...
Tue, 19 Nov 2019 10:50:35 +0900 Shinji KONO ...
Tue, 19 Nov 2019 00:25:43 +0900 Shinji KONO ...
Mon, 18 Nov 2019 23:53:47 +0900 Shinji KONO finite-or
Mon, 18 Nov 2019 19:51:08 +0900 Shinji KONO ...
Mon, 18 Nov 2019 12:08:09 +0900 Shinji KONO finite
Mon, 18 Nov 2019 11:00:31 +0900 Shinji KONO finite
Thu, 14 Nov 2019 05:13:49 +0900 Shinji KONO use exists in cond, nfa example
Mon, 11 Nov 2019 02:22:02 +0900 Shinji KONO ...
Sun, 10 Nov 2019 18:07:50 +0900 Shinji KONO ...
Sun, 10 Nov 2019 10:55:25 +0900 Shinji KONO clean up
Sat, 09 Nov 2019 17:15:18 +0900 Shinji KONO reverse direction
Sat, 09 Nov 2019 10:04:34 +0900 Shinji KONO all foundables
Sat, 09 Nov 2019 07:47:32 +0900 Shinji KONO found done
Sat, 09 Nov 2019 00:05:05 +0900 Shinji KONO add end function
Fri, 08 Nov 2019 21:30:14 +0900 Shinji KONO ...
Fri, 08 Nov 2019 20:23:35 +0900 Shinji KONO ...
Fri, 08 Nov 2019 20:18:10 +0900 Shinji KONO ...
Fri, 08 Nov 2019 19:52:26 +0900 Shinji KONO ...
Fri, 08 Nov 2019 16:26:40 +0900 Shinji KONO ...
Fri, 08 Nov 2019 14:42:28 +0900 Shinji KONO ...
Fri, 08 Nov 2019 13:40:25 +0900 Shinji KONO ...
Wed, 06 Nov 2019 23:19:53 +0900 Shinji KONO add concat
Wed, 06 Nov 2019 17:18:58 +0900 Shinji KONO subset construction
Fri, 05 Apr 2019 16:13:44 +0900 Shinji KONO add coinduction
Sat, 22 Dec 2018 11:45:37 +0900 Shinji KONO seprate finite
less more | (0) tip