Dear Maude Abusers,

A new alpha release can be accessed at SRI in

~eker/public_html/Maude/Alpha63c/

or downloaded from

http://www.csl.sri.com/~eker/Maude/Alpha63c/

Currently only linux is supported. The changes from Alpha63b are:

(1) Operations 
	op metaReplace : Context Term -> Term .
	op metaSubstitute : Term Substitution -> Term .
    removed from fmod META-TERM; these will be part of a library
    module being written in Maude by Jose.

(2) Idempotence axioms added for set constructors:
	eq A:Assignment ; A:Assignment = A:Assignment .
	eq S:Sort ; S:Sort = S:Sort .
	eq S:SubsortDecl S:SubsortDecl = S:SubsortDecl .
	eq A:Attr A:Attr = A:Attr .
	eq M:MembAx M:MembAx = M:MembAx .
	eq E:Equation E:Equation = E:Equation .
	eq R:Rule R:Rule = R:Rule .

(3) Descent functions
	op wellFormed : Module -> Bool .
	op wellFormed : Module Term ~> Bool .
	op getKind : Module Type ~> Kind .
	op getKinds : Module ~> KindSet .
	op maximalSorts : Module Kind ~> SortSet .
	op minimalSorts : Module Kind ~> SortSet .
    added to fmod META-LEVEL along with new constructor declarations
	sorts KindSet .
	subsort Kind < KindSet .
	op empty : -> KindSet [ctor] .
	op _&_ : KindSet KindSet -> KindSet [ctor assoc comm id: empty] .
	eq K:Kind & K:Kind = K:Kind .

(4) Sort test meta level constructors
	op _::_ : GroundTerm Sort -> GroundTerm [ctor] .
	op _::_ : Term Sort -> Term [ctor] .
	op _:::_ : GroundTerm Sort -> GroundTerm [ctor] .
	op _:::_ : Term Sort -> Term [ctor] .
    are removed. Sort test are now considered to be regular operators
    with meta names like '_::`MachineInt so the meta term
	'0.NzMachineInt ::: 'NzMachineInt
    is now written as
	'_:::`NzMachineInt['0.NzMachineInt])
    This gives a more uniform, easier to process meta-syntax and
    resolves a problem with sort test operators within contexts.

Steven