maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] a question about fth

From: Steven Eker <eker AT csl.sri.com>
To: yfu002 AT cs.fiu.edu, maude-help AT peepal.cs.uiuc.edu
Cc:
Subject: Re: [Maude-help] a question about fth
Date: Tue, 6 Jul 2004 10:07:02 -0700
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>
Organization: SRI International

On Monday 05 July 2004 11:23 am,
yfu002 AT cs.fiu.edu
wrote:
> 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.

You don't say which version of Maude you are using or whether you are using
Core Maude or Full Maude - the current release version of Core Maude does not
support theories.

Steven Eker

[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