- l -

• LAMBDA : symbols.h
• LE : symbols.h
• LROTATE : symbols.h
• LSHIFT : symbols.h
• LT : symbols.h
• LTL_REWRITE_DEADLOCK_FREE : ltlInt.h
• LTL_REWRITE_STANDARD : ltlInt.h
• LTLSPEC : symbols.h
• LTLWFF : symbols.h