Hets - the Heterogeneous Tool Set

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

Isabelle.IsaPrint

Contents

Description

Printing functions for Isabelle logic.

Synopsis

Documentation

printNamedSen :: Named Sentence -> Doc Source #

printing a named sentence

printTerm :: Term -> Doc Source #

print plain term

Orphan instances