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

comparison .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
comparison
equal deleted inserted replaced
256:6e1c60866788 288:4fcac1eebc74
13 2c7d45734e3be59a06d272a07fecdbf77ab8ce10 current 13 2c7d45734e3be59a06d272a07fecdbf77ab8ce10 current
14 2c7d45734e3be59a06d272a07fecdbf77ab8ce10 current 14 2c7d45734e3be59a06d272a07fecdbf77ab8ce10 current
15 1b1620e2053cfc340a4df0d63de65b9059b19b6f current 15 1b1620e2053cfc340a4df0d63de65b9059b19b6f current
16 1b1620e2053cfc340a4df0d63de65b9059b19b6f current 16 1b1620e2053cfc340a4df0d63de65b9059b19b6f current
17 2ea2a19f9cd638b29af51a47fa3dabdaea381d5c current 17 2ea2a19f9cd638b29af51a47fa3dabdaea381d5c current
18 2ea2a19f9cd638b29af51a47fa3dabdaea381d5c current
19 29a85a427ed21beb9be068728f7c55a7070a0a9f current
20 29a85a427ed21beb9be068728f7c55a7070a0a9f current
21 d9d3654baee12c1b93a25a3994146bc001877b2b current
22 d9d3654baee12c1b93a25a3994146bc001877b2b current
23 313140ae5e3d1793f8b2dc9055159658d63874e4 current