Terminal symbol EXTERNAL

Occurrences of symbol EXTERNAL in grammar rules:

RawFormula EXTERNAL  OPENPAR  AtomOrFrame  CLOSEPAR 
RawTerm EXTERNAL  OPENPAR  Expr  CLOSEPAR 

Copyright © 2008 ILOG, Inc.; All Rights Reserved.