The init example now writes maude load files, and sends them in the creation message.
The init example now writes maude load files, and sends them in the creation message.

SRI-CSL/PLambda,SRI-CSL/PLambda