maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] a question about fth

From: yfu002 AT cs.fiu.edu
To: maude-help AT peepal.cs.uiuc.edu
Cc:
Subject: [Maude-help] a question about fth
Date: Mon, 5 Jul 2004 14:23:00 -0400 (EDT)
Importance: Normal
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

When I load fth module, it shows me "an unexpected token: fth". Would you
tell me why, do I need to load sth else before load fth module? Thanks in
advance.

--Yujian Fu

[Maude-help] a question about fth, yfu002, 07/05/2004
- Re: [Maude-help] a question about fth, Steven Eker, 07/06/2004
- Message not available
  - Message not available
    - [Maude-help] Re: a question about full maude, Steven Eker, 07/09/2004