% Examples from Twelf User's Guide
nd.elf
lists.elf
lam.elf
arith.elf