<?xml version="1.0"?>
<!DOCTYPE MODES SYSTEM "catalog.dtd">

<MODES>

<MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy" />
<MODE NAME="ml" FILE="ml.xml" FILE_NAME_GLOB="*.ML" />

</MODES>

