# HG changeset patch
# User wenzelm
# Date 1629905085 -7200
# Node ID ffe24c7da1c6f4c5af33d8961b21a2ae60462828
# Parent  ea10e06adedec085e33893674e390c4f17d42603
more Isabelle/Haskell operations;

diff -r ea10e06adede -r ffe24c7da1c6 src/Tools/Haskell/Haskell.thy
--- 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