Terminal symbol INF

Occurrences of symbol INF in grammar rules:

Unification LhsTerm  INF  RhsTerm 

Copyright © 2018 by Hassan Aït-Kaci; All Rights Reserved.