{"push_id":609126168,"size":1,"distinct_size":1,"ref":"refs/heads/natural-deduction","head":"003aeb6dd0b681e63ff44e92c29e0f90f6123973","before":"50fd00ced51528d2512bc2d69e92561de0a12eaa","commits":[{"sha":"003aeb6dd0b681e63ff44e92c29e0f90f6123973","author":{"email":"e886c8fc21e9615c31fe4e84f64cf36c5ad4e5fb@labri.fr","name":"Richard Moot"},"message":"Corrected (very old) error in forall contraction\n\nForall contraction now includes missing test that there are no\nremaining occurrences of the eigenvariable of the link in atomic\nformulas.","distinct":true,"url":"https://api.github.com/repos/RichardMoot/LinearOne/commits/003aeb6dd0b681e63ff44e92c29e0f90f6123973"}]}