diff options
| -rw-r--r-- | isar/Example.thy | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isar/Example.thy b/isar/Example.thy index fc72c2f7..c86bf89a 100644 --- a/isar/Example.thy +++ b/isar/Example.thy @@ -6,7 +6,7 @@ theory Example = Main: -text {* Proper proof text -- naive version. *} +text {* Proper proof text -- \textit{naive version}. *} theorem and_comms: "A & B --> B & A" proof @@ -20,7 +20,7 @@ proof qed -text {* Proper proof text -- advanced version. *} +text {* Proper proof text -- \textit{advanced version}. *} theorem "A & B --> B & A" proof |