Αποστολή με SMS: Isabelle/HOL