<?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="indentOpenBrackets" VALUE="{"/>
<PROPERTY NAME="indentCloseBrackets" 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>
<LABEL>header</LABEL>
<KEYWORD4>theory</KEYWORD4>
<KEYWORD4>imports</KEYWORD4>
<KEYWORD4>uses</KEYWORD4>
<KEYWORD4>begin</KEYWORD4>
<KEYWORD4>end</KEYWORD4>
</KEYWORDS>
</RULES>
</MODE>