Hets - the Heterogeneous Tool Set

Copyright(c) Uni Bremen 2005
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

Isabelle.IsaStrings

Description

String constants of Isabelle keywords to be excluded by translations

obtained by manually taking lexicon and consts from print_syntax(theory "...") (initial empty strings omitted)

Synopsis

Documentation

mkIsaSet :: [String] -> Set String Source #

convert pasted strings to a relevant set of strings

data IsaSets Source #

Constructors

IsaSets 

Fields