name:relname(), args:Term List. mk_rel(name, args) 
rel()| Who Cites mk rel? | |
| mk_rel | Def mk_rel(name, args) == < name,args > |
| Thm* name:relname(), args:Term List. mk_rel(name, args) rel() |
| Syntax: | mk_rel(name, args) | has structure: | mk_rel(name; args) |
About:
 |  |  |  |  |