1 (* Title: Ln.thy
1 (* Title: HOL/Ln.thy
2 Author: Jeremy Avigad
3 *)
4
5 header {* Properties of ln *}
6