Mechanized Safety Proofs for Disc-Constrained Aircraft (CMU-CS-12-132)