log proof_deltaM.tex @ 57:5f0e13923cfd

age author description
Mon, 16 Feb 2015 13:47:50 +0900 Yasutaka Higa Add proof DeltaM
Sun, 15 Feb 2015 22:38:43 +0900 Yasutaka Higa Add original sources
Sun, 15 Feb 2015 11:17:59 +0900 Yasutaka Higa Move proofs to appendix