{"push_id":714984479,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"07421c10dcef8567dc01c52f473f34ac0a72ad7f","before":"e18e7151f99ae7f96ee62d53f5c5293c11777bd1","commits":[{"sha":"07421c10dcef8567dc01c52f473f34ac0a72ad7f","author":{"email":"c5584b46959721a1dbf0c2105064ad5c9209c334@cl.cam.ac.uk","name":"Anthony Fox"},"message":"Add a small theory about address alignment.\n\nThis will eventually be used to rationalise examples in l3-machine-code/.","distinct":true,"url":"https://api.github.com/repos/HOL-Theorem-Prover/HOL/commits/07421c10dcef8567dc01c52f473f34ac0a72ad7f"}]}