Isabelle ratio problems

12 years ago