[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.2.2 Conversion

05B15 $>ID ( $ → ID )
362DE DUP$>ID ( $ → $ ID )
05AED (ID>LAM) ( id → lam )
05B01 (LAM>ID) ( lam → id )



This document was generated by Carsten Dominik on May, 30 2005 using texi2html