Isabelle/AFP sessions
Continued_Fractions