1f0acff543673009aee8b72b15e0de7dbdff1388	refs/heads/master
edbf692722f6a37581746d79511f753e8ddfc3f3	refs/tags/Code_corresponding_to_"Isomorphism_Is_Equality"_(2013-02-16)
7174e6c981d895774c70e443fa809eee08abfb51	refs/tags/Code_corresponding_to_"Isomorphism_Is_Equality"_(2013-02-16)^{}
19fd7944ca9e91c08001258729a71c690f2365eb	refs/tags/Code_corresponding_to_"Isomorphism_Is_Equality"_(2013-02-16_2)
0931bb198616adb04c52b7906c80886862d2f035	refs/tags/Code_corresponding_to_"Isomorphism_Is_Equality"_(2013-02-16_2)^{}
4b218e55113d9def898296ee570989798d1d3195	refs/tags/Code_corresponding_to_"Isomorphism_is_equality"_(2013-09-10)
68be63137ec53a57e73a52db0786a90471697ae7	refs/tags/Code_corresponding_to_"Isomorphism_is_equality"_(2013-09-10)^{}
ea581c18e3dc8f3b7db4e86c89d07a0a46a03871	refs/tags/Code_corresponding_to_"Isomorphism_is_equality"_(2013-10-01)
9f10ca586efede4268f9b8b565d9ea3ff71b84f6	refs/tags/Code_corresponding_to_"Isomorphism_is_equality"_(2013-10-01)^{}
8fd3fb9d8cc03c561c5e775081f4567a961c1ca9	refs/tags/Code_corresponding_to_the_bag_equality_paper_(2011-03-24)
a9b3f0db87089b06c92f16b18a065be91054f468	refs/tags/Code_corresponding_to_the_bag_equality_paper_(2011-03-24)^{}
a8aa86994a63b692578694ec1ebd8a839ea2de34	refs/tags/Code_corresponding_to_the_bag_equivalence_paper_(2012-02-13)
bdf93631a6766b4d04e520da4a85c218ed64e7cf	refs/tags/Code_corresponding_to_the_bag_equivalence_paper_(2012-02-13)^{}
7d2ab24267c941229a40a8cc285482261eb25256	refs/tags/Code_corresponding_to_the_bag_equivalence_paper_(2012-02-13_2)
af42d3b4a97539c98d8ed99cbe9509496168463b	refs/tags/Code_corresponding_to_the_bag_equivalence_paper_(2012-02-13_2)^{}
3fec56cdbf5a822bc123c06a00c23a7f355f626b	refs/tags/Code_corresponding_to_the_bag_equivalence_paper_(2012-05-28)
21986921c839100fddd631dfae53cb358af0053f	refs/tags/Code_corresponding_to_the_bag_equivalence_paper_(2012-05-28)^{}
9c0310c154c71e44446ea89a7a05c2876bc700eb	refs/tags/Code_corresponding_to_the_bag_equivalence_paper_(2012-07-31)
cb196374773ff9989edde339f4f349faab20fa7d	refs/tags/Code_corresponding_to_the_bag_equivalence_paper_(2012-07-31)^{}