Mercurial > hg > Members > kono > Proof > ZF-in-agda
view .hgtags @ 347:cfecd05a4061
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 13 Jul 2020 22:40:37 +0900 |
parents | f895642a8460 |
children | e4b7485b0b17 |
line wrap: on
line source
264784731a67c6781c7aa95f24feabe5c38629ea current 264784731a67c6781c7aa95f24feabe5c38629ea current 92a11dc6425c89c9a19c6377571db0755c71492e current 92a11dc6425c89c9a19c6377571db0755c71492e current b4742cf4ef978434d98a6f0a2f891a944dea5906 current b4742cf4ef978434d98a6f0a2f891a944dea5906 current a402881cc341fb6499f60bd0f55795dbef5efc70 current a402881cc341fb6499f60bd0f55795dbef5efc70 current b06f5d2f34b1a16ff39aae15680a1c0d640e6b93 current b06f5d2f34b1a16ff39aae15680a1c0d640e6b93 current ecb329ba38ac904913313f2dd03ae2329039ffa6 current ecb329ba38ac904913313f2dd03ae2329039ffa6 current 2c7d45734e3be59a06d272a07fecdbf77ab8ce10 current 2c7d45734e3be59a06d272a07fecdbf77ab8ce10 current 1b1620e2053cfc340a4df0d63de65b9059b19b6f current 1b1620e2053cfc340a4df0d63de65b9059b19b6f current 2ea2a19f9cd638b29af51a47fa3dabdaea381d5c current 2ea2a19f9cd638b29af51a47fa3dabdaea381d5c current 29a85a427ed21beb9be068728f7c55a7070a0a9f current 29a85a427ed21beb9be068728f7c55a7070a0a9f current d9d3654baee12c1b93a25a3994146bc001877b2b current d9d3654baee12c1b93a25a3994146bc001877b2b current 313140ae5e3d1793f8b2dc9055159658d63874e4 current 4fcac1eebc74af8ce383aeb9efd3230eecab5136 current 12071f79f3cf40f788031e4f5ba83f6dcdbc91a0 current fcc65e37e72b007ee32a72d5d9b9c82db77927da release e0916a6329710d1a3ca7208ca7dfd3f0171299f1 curret