hets -- a heterogenous Specification (CASL) tool setContentsIndex
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