<?xml version="1.0" encoding="UTF-8"?>
<grammar xmlns="http://relaxng.org/ns/structure/1.0" datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes">
  <define name="inline" combine="interleave">
    <zeroOrMore>
      <grammar>
	 <include href="proofsystem.rng">
	   <start>
	     <choice>
	       <ref name="expr"/>
	       <ref name="judgement"/>
	       <ref name="context"/>
	     </choice>
	   </start>
	 </include>
      </grammar>
    </zeroOrMore>
  </define>
  <define name="block" combine="choice">
    <grammar>
      <include href="proofsystem.rng"/>
      <start combine="choice">
	<ref name="formula"/>
      </start>
    </grammar>
  </define>
  <define name="block" combine="choice">
    <element>
      <choice>
        <name>grammarref</name>
        <name>rngref</name>
      </choice>
      <attribute name="src">
        <data type="anyURI"/>
      </attribute>
    </element>
  </define>
  <include href="is.rng"/>
</grammar>
