maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
- From: Rachida Boubendir <boubendir.rachida AT hotmail.fr>
- To: "maude-help AT cs.uiuc.edu" <maude-help AT cs.uiuc.edu>
- Subject: [Maude-help] help
- Date: Sun, 25 May 2014 18:46:33 +0100
- Importance: Normal
- List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
- List-id: <maude-help.cs.uiuc.edu>
Hello
Chould you tell me where is the Eval function: term of signature -> element of algebra in FULL-Maude
Thank you for your response
- [Maude-help] help, Rachida Boubendir, 05/25/2014
Archive powered by MHonArc 2.6.16.