aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/isar/CommentParsingBug.thy
blob: 6a59a383987bae177b80d401ff7a4934bd9c0a9d (plain)
1
2
3
(**)(**)
theory Scratch imports Main begin