--- a/src/Tools/Haskell/Haskell.thy Wed Aug 25 13:40:40 2021 +0200
+++ b/src/Tools/Haskell/Haskell.thy Wed Aug 25 17:24:45 2021 +0200
@@ -2114,7 +2114,9 @@
{-# LANGUAGE OverloadedStrings #-}
module Isabelle.Name (
- Name, clean_index, clean,
+ Name,
+ uu, uu_, aT,
+ clean_index, clean,
Context, declare, is_declared, context, make_context, variant
)
where
@@ -2131,6 +2133,14 @@
type Name = Bytes
+{- common defaults -}
+
+uu, uu_, aT :: Name
+uu = "uu"
+uu_ = "uu_"
+aT = "'a"
+
+
{- suffix for internal names -}
underscore :: Word8