Hets - the Heterogeneous Tool Set

Copyright(c) University of Cambridge Cambridge England
adaption (c) Till Mossakowski Uni Bremen 2002-2005
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

Isabelle.Translate

Description

translate Id to Isabelle strings

Synopsis

Documentation

showIsaConstT :: Id -> BaseSig -> String Source #

showIsaConstIT :: Id -> Int -> BaseSig -> String Source #

add a number for overloading

showIsaTypeT :: Id -> BaseSig -> String Source #

transConstStringT :: BaseSig -> String -> String Source #

transTypeStringT :: BaseSig -> String -> String Source #

mkIsaConstT :: Bool -> GlobalAnnos -> Int -> Id -> BaseSig -> Set String -> VName Source #

mkIsaConstIT :: Bool -> GlobalAnnos -> Int -> Id -> Int -> BaseSig -> Set String -> VName Source #

transString :: String -> String Source #

translate to a valid Isabelle string possibly non-injectively

data IsaPreludes Source #

Constructors

IsaPreludes 

Fields

getConstIsaToks :: Id -> Int -> BaseSig -> Set String Source #

get the tokens of the alternative syntax that should not be used as variables