Maude-help mailing list

[Emmanuel Castro <emmanuel.castro AT laposte.net>]

It is written black on white in the docs that CRCHC does not work with
built-in operation.
Does someone has written an built-in-less (non operational) equivalent
of the modules in the prelude, so that one can check the confluence of
modules protecting Nat, Qid, List...?

CRCHC does not support [owise] either.
Does someone has ever written a transformation changing an
[owise]-enabled module to an equivalent [owise]-less module, at least
when one does not use the strategy attribute.

Thank you

Emmanuel