diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2005-02-15 18:43:22 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2005-02-15 18:43:22 +0000 |
| commit | 3ebd8547bc8c938bd50fd4876c1f72d46dccb83c (patch) | |
| tree | 7be86c1ee3b8e12ecfa01cdb02471806a455783d /isar/Example.thy | |
| parent | bfe9931a3bdb711015eadc3696822d7e76c01186 (diff) | |
Changes from Clemens Ballarin for large X-Symbol fonts
Diffstat (limited to 'isar/Example.thy')
| -rw-r--r-- | isar/Example.thy | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isar/Example.thy b/isar/Example.thy index c86bf89a..278e5964 100644 --- a/isar/Example.thy +++ b/isar/Example.thy @@ -19,6 +19,7 @@ proof qed qed +asd text {* Proper proof text -- \textit{advanced version}. *} |