Possibly this is related to the issues in ticket #122914 (bindings and term 
definitions are "forgotten" in the REPL for subsequent lines).

Reply via email to