previous up next
Go backward to Typing Rules
Go up to Top
Go forward to Typing Rules
RISC-Linz logo

Example

Each subtree is annotated with its type!


Author: Wolfgang Schreiner
Last Modification: March 26, 1998

previous up next