Hets - the Heterogeneous Tool Set

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

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

convert pasted strings to a relevant set of strings

data IsaSets

Constructors

IsaSets 

Fields

types :: Set String
 
consts :: Set String