KnowledgeHub
Report question
Question:
Why won't Isabelle simplify the body of my "if _ then _ else" construct?
Reason
Select a reason...
Spam
Rude or offensive
Not an answer
Duplicate
Off-topic
Other
Additional details (optional)
Submit Report