[Isabelle]
The {ISABELLE} Library