{"action":"created","issue":{"url":"https://api.github.com/repos/newca12/gapt/issues/117","labels_url":"https://api.github.com/repos/newca12/gapt/issues/117/labels{/name}","comments_url":"https://api.github.com/repos/newca12/gapt/issues/117/comments","events_url":"https://api.github.com/repos/newca12/gapt/issues/117/events","html_url":"https://github.com/newca12/gapt/issues/117","id":55588992,"number":117,"title":"SequentOccurrence to Sequent","user":{"login":"newca12","id":543542,"avatar_url":"https://avatars.githubusercontent.com/u/543542?v=3","gravatar_id":"","url":"https://api.github.com/users/newca12","html_url":"https://github.com/newca12","followers_url":"https://api.github.com/users/newca12/followers","following_url":"https://api.github.com/users/newca12/following{/other_user}","gists_url":"https://api.github.com/users/newca12/gists{/gist_id}","starred_url":"https://api.github.com/users/newca12/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/newca12/subscriptions","organizations_url":"https://api.github.com/users/newca12/orgs","repos_url":"https://api.github.com/users/newca12/repos","events_url":"https://api.github.com/users/newca12/events{/privacy}","received_events_url":"https://api.github.com/users/newca12/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/newca12/gapt/labels/2%E2%80%935%20stars","name":"2–5 stars","color":"FFFFFF"},{"url":"https://api.github.com/repos/newca12/gapt/labels/bug","name":"bug","color":"FFFFFF"},{"url":"https://api.github.com/repos/newca12/gapt/labels/Component-LogicalDataStructures","name":"Component-LogicalDataStructures","color":"FFFFFF"},{"url":"https://api.github.com/repos/newca12/gapt/labels/imported","name":"imported","color":"FFFFFF"},{"url":"https://api.github.com/repos/newca12/gapt/labels/Milestone-Release2.0","name":"Milestone-Release2.0","color":"FFFFFF"},{"url":"https://api.github.com/repos/newca12/gapt/labels/Priority-Critical","name":"Priority-Critical","color":"FFFFFF"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":7,"created_at":"2015-01-27T08:27:00Z","updated_at":"2015-01-27T08:27:34Z","closed_at":null,"body":"_From [cdunc...@gmail.com](https://code.google.com/u/102976883554608245195/) on April 05, 2011 15:45:44_\n\nRecently me and Tomer decided to change the vertex of the proof-graph from SequentOccurrence to a Sequent. Then, the equality defined in the class LeafAGraph compares sequents, not sequent occurrences as it was before the change. Hence, each tree which has axioms with the same sequents is not considered as a tree. \r\n\r\nAny suggestions how to deal with this problem?\n\n_Original issue: http://code.google.com/p/gapt/issues/detail?id=117_"},"comment":{"url":"https://api.github.com/repos/newca12/gapt/issues/comments/71608240","html_url":"https://github.com/newca12/gapt/issues/117#issuecomment-71608240","issue_url":"https://api.github.com/repos/newca12/gapt/issues/117","id":71608240,"user":{"login":"newca12","id":543542,"avatar_url":"https://avatars.githubusercontent.com/u/543542?v=3","gravatar_id":"","url":"https://api.github.com/users/newca12","html_url":"https://github.com/newca12","followers_url":"https://api.github.com/users/newca12/followers","following_url":"https://api.github.com/users/newca12/following{/other_user}","gists_url":"https://api.github.com/users/newca12/gists{/gist_id}","starred_url":"https://api.github.com/users/newca12/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/newca12/subscriptions","organizations_url":"https://api.github.com/users/newca12/orgs","repos_url":"https://api.github.com/users/newca12/repos","events_url":"https://api.github.com/users/newca12/events{/privacy}","received_events_url":"https://api.github.com/users/newca12/received_events","type":"User","site_admin":false},"created_at":"2015-01-27T08:27:34Z","updated_at":"2015-01-27T08:27:34Z","body":"_From [fra...@gmail.com](https://code.google.com/u/108596877348066494139/) on August 11, 2011 03:17:26_\n\n**Blocking:** 16  \n"}}