Revision 1092: /branches/fx8/trew

• ..
• Makefile
• c/
• elf.rw
• geneq
• main.ml
• rn
• test
• trew.maude