GitHub PushEvent at 2014-05-05 04:19:54
Repository: HOL
Actor: mn200
Payload: {"shas":[["8c022881546ca655052ac0356999e0f8a1b7e97f","dedfb5d35184997352c96c03dbc128840e913dd8@nicta.com.au","Slightly weaken assumptions to ordinal intermediate value theorem.","Michael Norrish",true]],"size":1,"ref":"refs/heads/master","head":"8c022881546ca655052ac0356999e0f8a1b7e97f"}