next up previous
Next: 23.3 Unused predicatespossibly Up: 23 Appendix Previous: 23.1 Operators

23.2 Undefined predicates, possibly intended to be imported

 

next up previous
Next: 23.3 Unused predicatespossibly Up: 23 Appendix Previous: 23.1 Operators



Paul Tarau
Thu Apr 3 10:26:39 AST 1997