Home | History | Annotate | Download | only in relaxng 
      1 <?xml version="1.0" encoding="iso-8859-1"?>
      2 <!-- $Id: spec.rng,v 1.3 2001/10/23 05:54:24 jjc Exp $ -->
      3 <grammar xmlns="http://relaxng.org/ns/structure/1.0"
      4          datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes"
      5           xmlns:p="http://relaxng.org/ns/proofsystem">
      6 
      7 <start>
      8   <grammar>
      9     <include href="docbook.rng"/>
     10     <define name="synop.class" combine="choice">
     11       <choice>
     12         <parentRef name="rngref"/>
     13         <parentRef name="grammarref"/>
     14         <grammar>
     15           <include href="proofsystem.rng"/>
     16           <start combine="choice">
     17             <ref name="formula"/>
     18           </start>
     19         </grammar>
     20       </choice>
     21     </define>
     22     <define name="tech.char.class" combine="choice">
     23       <parentRef name="terms"/>
     24     </define>
     25   </grammar>
     26 </start>
     27 
     28 <define name="rngref">
     29   <element name="rngref">
     30     <attribute name="src">
     31       <data type="anyURI"/>
     32     </attribute>
     33   </element>
     34 </define>
     35 
     36 <define name="grammarref">
     37   <element name="grammarref">
     38     <attribute name="src">
     39       <data type="anyURI"/>
     40     </attribute>
     41   </element>
     42 </define>
     43 
     44 <define name="terms">
     45   <grammar>
     46      <include href="proofsystem.rng">
     47        <start>
     48          <choice>
     49            <ref name="expr"/>
     50            <ref name="judgement"/>
     51            <ref name="context"/>
     52          </choice>
     53        </start>
     54      </include>
     55   </grammar>
     56 </define>
     57 
     58 </grammar>
     59 
     60  
     61