Members/kono/Proof/ZF-in-agda: revision graph

graph

less more | rev 1449: (0) -1000 -300 -100 -50 -30 +30 tip

...
Wed, 05 Jul 2023 12:33:27 +0900, by Shinji KONO
this is also bad
Wed, 05 Jul 2023 12:32:31 +0900, by Shinji KONO
...
Wed, 05 Jul 2023 12:09:48 +0900, by Shinji KONO
...
Wed, 05 Jul 2023 10:57:43 +0900, by Shinji KONO
...
Wed, 05 Jul 2023 07:39:17 +0900, by Shinji KONO
...
Tue, 04 Jul 2023 21:49:41 +0900, by Shinji KONO
...
Tue, 04 Jul 2023 18:55:11 +0900, by Shinji KONO
...
Tue, 04 Jul 2023 18:11:09 +0900, by Shinji KONO
...
Tue, 04 Jul 2023 12:06:12 +0900, by Shinji KONO
fix HODBijection (sorry)
Tue, 04 Jul 2023 10:14:27 +0900, by Shinji KONO
...
Tue, 04 Jul 2023 09:28:09 +0900, by Shinji KONO
add comments
Sun, 02 Jul 2023 20:36:08 +0900, by Shinji KONO
clean up
Sun, 02 Jul 2023 15:05:26 +0900, by Shinji KONO
Bernstein done
Sun, 02 Jul 2023 14:39:47 +0900, by Shinji KONO
...
Sun, 02 Jul 2023 12:08:54 +0900, by Shinji KONO
...
Sun, 02 Jul 2023 10:35:37 +0900, by Shinji KONO
...
Sun, 02 Jul 2023 01:43:36 +0900, by Shinji KONO
...
Sun, 02 Jul 2023 01:32:03 +0900, by Shinji KONO
again... gfImage is not strictly positive, because it occurs
Sun, 02 Jul 2023 00:59:14 +0900, by Shinji KONO
...
Sat, 01 Jul 2023 19:37:54 +0900, by Shinji KONO
...
Sat, 01 Jul 2023 18:19:34 +0900, by Shinji KONO
...
Sat, 01 Jul 2023 16:47:37 +0900, by Shinji KONO
...
Sat, 01 Jul 2023 16:13:27 +0900, by Shinji KONO
...
Sat, 01 Jul 2023 16:03:54 +0900, by Shinji KONO
...
Sat, 01 Jul 2023 16:03:42 +0900, by Shinji KONO
...
Sat, 01 Jul 2023 15:50:34 +0900, by Shinji KONO
...
Sat, 01 Jul 2023 14:26:20 +0900, by Shinji KONO
...
Sat, 01 Jul 2023 10:19:03 +0900, by Shinji KONO
...
Sat, 01 Jul 2023 09:18:05 +0900, by Shinji KONO
...
Sat, 01 Jul 2023 07:44:45 +0900, by Shinji KONO

less more | rev 1449: (0) -1000 -300 -100 -50 -30 +30 tip

Mercurial > hg > Members > kono > Proof > ZF-in-agda

graph