diff options
Diffstat (limited to 'etc/isar/TokensAcid.thy')
-rw-r--r-- | etc/isar/TokensAcid.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/isar/TokensAcid.thy b/etc/isar/TokensAcid.thy index 9b0e38af..8b37d951 100644 --- a/etc/isar/TokensAcid.thy +++ b/etc/isar/TokensAcid.thy @@ -186,7 +186,7 @@ notation (xsymbols) underline ("\<^bunderline>_\<^eunderline>") and overline ("\<^boverline>_\<^eoverline>") -term "\<^bbig>large text \<alpha> \<beta> \<Sigma>\<^ebig>" +term "\<^bbig>large text \<alpha> \<beta> \<Sigma> \<integral>\<^ebig>" term "\<^bsmall>smaller text ((\<alpha> \<and> \<beta>) \<longrightarrow> \<gamma>) \<^esmall>" |