agc 8118fe36ae Move to sha1 digests, and add distfile sizes.		2001-04-19 15:00:47 +00:00
..
pkg	Initial import of maude, a system for equational and rewriting logic	2001-03-20 11:57:41 +00:00
distinfo	Move to sha1 digests, and add distfile sizes.	2001-04-19 15:00:47 +00:00
Makefile	Oops, uncomment LICENSE.	2001-03-20 12:01:25 +00:00