hylolib-1.3.0: Tools for hybrid logics related programs
HyLo.InputFile
type InputFile = [Formula NomSymbol PropSymbol RelSymbol]Source
parse :: String -> InputFileSource
myparse :: String -> ParseOutputSource
write :: InputFile -> StringSource
parseOldFormat :: String -> OldInputFileSource