Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Merge branch 'master' of logicalhacking.com:HOL-OCL/Isabelle_DOF

This commit is contained in:
Achim D. Brucker 2018-06-12 09:57:18 +01:00
parent 79ca890441 e804cff226
commit 5208b44a82
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
examples/math_exam/MathExam/MathExam.thy
View File

@ -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.
*}
close_monitor*[exam::MathExam]