-
Pacak, André authored
change lookup function (has ITerm as toplevel to distinguish between cases and other parts of the language (ExpTerm)
e961a976
change lookup function (has ITerm as toplevel to distinguish between cases and other parts of the language (ExpTerm)