hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Syntax.Print_AS_Architecture
Portability
non-portable(Grothendieck)
Stability
provisional
Maintainer
hets@tzi.de
Description
Printing the Architechture stuff of HetCASL.
Synopsis
Produced by
Haddock
version 0.6