{"push_id":992067076,"size":1,"distinct_size":1,"ref":"refs/heads/GoalSearch","head":"e6957e764ac0a60a390573cedf99e99fd6d34a6f","before":"4d6f8def9d9a0c1f8af43a41ec314886a1eb9be5","commits":[{"sha":"e6957e764ac0a60a390573cedf99e99fd6d34a6f","author":{"email":"8652f0fbfbb4e3f6e2590385dc5c9a9ccac57421@g.clemson.edu","name":"mikekab"},"message":"Removed restriction that theorem using implication must have used all\nquantified variables in their antecedant.\nAdded extra search routine to bind quantifiers not in antecedant.","distinct":true,"url":"https://api.github.com/repos/mikekab/RESOLVE/commits/e6957e764ac0a60a390573cedf99e99fd6d34a6f"}]}