Elf Users Guide

Frank Pfenning

Draft of Tue Feb 4 09:29:55 EST 1997 describing
Elf Version 0.5, August 30, 1995

• Contents
• 1 Introduction
• 2 Lexical Conventions
• 3 Grammar
• 4 Fixity and Name Preference Declarations
• 5 Term Reconstruction
• 6 Printing
• 7 Special Families
• 8 Elf Server Shell Command Summary
• 9 Elf Server Emacs Command Summary
• 10 A Typical Session
• 11 Common Problems
• 12 Known Bugs
• About this document ...