Additional Material Concerning Installation of Agda

• List of symbols for the leim mode under Agda This file shows the tex commands used in the leim mode in order to allow insertion of special symbols in Emacs.
• Instructions for installing the abbreviation mode This makes typing in special symbols much more easy.