{"push_id":676529208,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e7fb507e402098491b9c4d51ccdf323803ec55b3","before":"393b71fec9ce946760ebf28581d8086ecf84b12a","commits":[{"sha":"e7fb507e402098491b9c4d51ccdf323803ec55b3","author":{"email":"8d911433753a666745f38ab806951e50d0ac0719@web.de","name":"Julian Jabs"},"message":"Begin reworking of Lemma 3.\nThis is necessary because, after destructor\nextraction, there are terms which\nare different but represent (!) the same object.\nThis \"sameness\" relation needs to be formalized,\nthen semantics preservation needs to be restated:\nIt holds modulo this relation.","distinct":true,"url":"https://api.github.com/repos/lordxist/uroboro-transformations/commits/e7fb507e402098491b9c4d51ccdf323803ec55b3"}]}