Mercurial > hg > Members > kono > Proof > ZF-in-agda
comparison .hgtags @ 177:e75fad60cf8c
Added tag current for changeset ecb329ba38ac
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 20 Jul 2019 08:03:54 +0900 |
parents | 61c60fef6a85 |
children | 0a1804cc9d0a |
comparison
equal
deleted
inserted
replaced
176:ecb329ba38ac | 177:e75fad60cf8c |
---|---|
5 b4742cf4ef978434d98a6f0a2f891a944dea5906 current | 5 b4742cf4ef978434d98a6f0a2f891a944dea5906 current |
6 b4742cf4ef978434d98a6f0a2f891a944dea5906 current | 6 b4742cf4ef978434d98a6f0a2f891a944dea5906 current |
7 a402881cc341fb6499f60bd0f55795dbef5efc70 current | 7 a402881cc341fb6499f60bd0f55795dbef5efc70 current |
8 a402881cc341fb6499f60bd0f55795dbef5efc70 current | 8 a402881cc341fb6499f60bd0f55795dbef5efc70 current |
9 b06f5d2f34b1a16ff39aae15680a1c0d640e6b93 current | 9 b06f5d2f34b1a16ff39aae15680a1c0d640e6b93 current |
10 b06f5d2f34b1a16ff39aae15680a1c0d640e6b93 current | |
11 ecb329ba38ac904913313f2dd03ae2329039ffa6 current |