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