Submit
Path:
~
/
/
lib
/
python2.7
/
site-packages
/
pygments
/
lexers
/
File Content:
theorem.pyo
� ��Tc @ s� d Z d d l Z d d l m Z m Z m Z d d l m Z m Z m Z m Z m Z m Z m Z m Z m Z d d d g Z d e f d � � YZ d e f d � � YZ d e f d � � YZ d S( s� pygments.lexers.theorem ~~~~~~~~~~~~~~~~~~~~~~~ Lexers for theorem-proving languages. :copyright: Copyright 2006-2014 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. i����N( t RegexLexert defaultt words( t Textt Commentt Operatort Keywordt Namet Stringt Numbert Punctuationt Generict CoqLexert IsabelleLexert LeanLexerc E B s e Z d Z d Z d g Z d g Z d g Z dZ dZ dZ dZ dZ dZ dZ d� Z dZ d� Z d� Z dZ i d� e f d� e j j f d� e d� f e e d� d� d� d� �e j f e e d� d� d� d� �e f e e d� d� d� d� �e j f e e d� d� d� d� �e f e e d� d� d� d� �e j f e e d� d� d� d� �e j f d� e j d� f d� e j f d� d� j e d� d� d� � � e f d� e e e f e f d� d� j e � e j f d� d� j e � e j f d� e f d� e! j"