l_group_cnf 0.1.0

meets of joins of free group terms
Documentation