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

diff .hgtags @ 288:4fcac1eebc74 release

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
axiom of choice clean up
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 07 Jun 2020 20:31:30 +0900
parents 4ae48eed654a
children 9f926b2210bc fcc65e37e72b
line wrap: on
line diff
--- a/.hgtags	Thu Aug 29 16:18:37 2019 +0900
+++ b/.hgtags	Sun Jun 07 20:31:30 2020 +0900
@@ -15,3 +15,9 @@
 1b1620e2053cfc340a4df0d63de65b9059b19b6f current
 1b1620e2053cfc340a4df0d63de65b9059b19b6f current
 2ea2a19f9cd638b29af51a47fa3dabdaea381d5c current
+2ea2a19f9cd638b29af51a47fa3dabdaea381d5c current
+29a85a427ed21beb9be068728f7c55a7070a0a9f current
+29a85a427ed21beb9be068728f7c55a7070a0a9f current
+d9d3654baee12c1b93a25a3994146bc001877b2b current
+d9d3654baee12c1b93a25a3994146bc001877b2b current
+313140ae5e3d1793f8b2dc9055159658d63874e4 current