GitHub PushEvent at 2014-08-31 18:26:02
Repository: dataDictionary
Actor: jensgerlach
Payload: {"shas":[["6dc0f7f3661c84c650488348666826947daa78cc","c661feb6162d01e59379ff93daf5bce7107d2d20@fokus.fraunhofer.de","add missing Start in body of predicate","Jens Gerlach",true],["8b472840fa47ad4c4381de2eff1593354da8c166","c661feb6162d01e59379ff93daf5bce7107d2d20@fokus.fraunhofer.de","provide proof for fixed predicate EqualBits","Jens Gerlach",true]],"size":2,"ref":"refs/heads/predicate","head":"8b472840fa47ad4c4381de2eff1593354da8c166"}