@ -14,7 +14,7 @@ Inside the REPl, load the file
> Note: Don't forget the dot at the end of the line.
The user available funtions are:
The user available predicates are:
1) poly2list/2
2) simpoly_list/2
3) simpoly/2