next up previous contents
Next: 3.1.2 untype Up: 3.1.1 undeclare Previous: Transforming sg definitions

Evaluating declare facts

  The general form of a declare fact is as follows:

where tag[arg tex2html_wrap_inline2807 ,...,arg tex2html_wrap_inline2809 ] can be, amongst some othersgif, one of



Harold Boley (boley@informatik.uni-kl.de)