<?xml version="1.0"?>
<!DOCTYPE MODE SYSTEM "xmode.dtd">
<!-- Isabelle theory mode -->
<MODE>
<PROPS>
<PROPERTY NAME="commentStart" VALUE="(*"/>
<PROPERTY NAME="commentEnd" VALUE="*)"/>
<PROPERTY NAME="noWordSep" VALUE="_'.?"/>
<PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(" />
<PROPERTY NAME="unalignedCloseBrackets" VALUE=")]}" />
<PROPERTY NAME="tabSize" VALUE="2" />
<PROPERTY NAME="indentSize" VALUE="2" />
</PROPS>
<RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="FALSE" ESCAPE="\">
<SPAN TYPE="COMMENT1">
<BEGIN>(*</BEGIN>
<END>*)</END>
</SPAN>
<SPAN TYPE="COMMENT3">
<BEGIN>{*</BEGIN>
<END>*}</END>
</SPAN>
<SPAN TYPE="LITERAL1">
<BEGIN>`</BEGIN>
<END>`</END>
</SPAN>
<SPAN TYPE="LITERAL3">
<BEGIN>"</BEGIN>
<END>"</END>
</SPAN>
<KEYWORDS>
<KEYWORD2>header</KEYWORD2>
<KEYWORD1>theory</KEYWORD1>
<KEYWORD2>imports</KEYWORD2>
<KEYWORD2>keywords</KEYWORD2>
<KEYWORD2>uses</KEYWORD2>
<KEYWORD2>begin</KEYWORD2>
<KEYWORD2>end</KEYWORD2>
</KEYWORDS>
</RULES>
</MODE>