maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
- From: "polina delfia" <isold AT live.fr>
- To: <maude-help AT cs.uiuc.edu>
- Subject: [Maude-help] Maude
- Date: Fri, 8 Apr 2011 15:19:06 +0200
- Importance: Normal
- List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
- List-id: <maude-help.cs.uiuc.edu>
Hi, I’m new on Maude use, could u expalin to me by examples what’s the
differences between the 2 operator attributes strat and owise??
- [Maude-help] Maude, polina delfia, 04/08/2011
- Re: [Maude-help] Maude, Steven Eker, 04/08/2011
Archive powered by MHonArc 2.6.16.