From e7a53276c5b88e103dc9c3e1521b776c727d5360 Mon Sep 17 00:00:00 2001 From: bu Date: Tue, 12 Jun 2018 10:09:36 +0200 Subject: [PATCH] Kleinkram --- examples/math_exam/MathExam/MathExam.thy | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/examples/math_exam/MathExam/MathExam.thy b/examples/math_exam/MathExam/MathExam.thy index c0139b02..d517f09d 100644 --- a/examples/math_exam/MathExam/MathExam.thy +++ b/examples/math_exam/MathExam/MathExam.thy @@ -67,7 +67,8 @@ text*[q1::Task, level="oneStar", mark="1::int", type="formal"] text*[q2::Task, level="threeStars", mark="3::int", type="formal"] {* -Prove that @{term "n*(n+5) + 2*(n+3) "} is always the product of two numbers with a difference of 5. +Prove that @{term "n*(n+5) + 2*(n+3) "} is always the product of two numbers +with a difference of 5. *} (*<*)