[Reduce-algebra-developers] redlog question

[Kostas O. <ko...@re...>]

According to my reading of the Redlog manual, sec. 3.7, the following 
should work, and not ask the question:

Reduce (Free CSL version), 20-Oct-15 ...

1: load redlog;

2: rlset ibalp;

{}

3: II := a -> b;

II := a -> b

4: rlsimpl II;

Declare -> (bimpl) predicate ?  (Y or N)

?

Am I doing something wrong, or is the documentation perhaps out of date?

                                 Kostas