# HG changeset patch
# User berghofe
# Date 1184681154 -7200
# Node ID 09ee9527ffcef7fd07194ac11dfe862c97bcc0a0
# Parent  64e6e5c738a10e600403cbf2156f4b0869d46aa3
Added hypotheses.

diff -r 64e6e5c738a1 -r 09ee9527ffce src/Pure/Tools/isabelle.xsd
--- a/src/Pure/Tools/isabelle.xsd	Tue Jul 17 16:05:34 2007 +0200
+++ b/src/Pure/Tools/isabelle.xsd	Tue Jul 17 16:05:54 2007 +0200
@@ -180,6 +180,13 @@
         <xsd:attribute name="vname" type="xsd:string" use="required"/>
       </xsd:complexType>
     </xsd:element>
+    <xsd:element name="Hyp">
+      <xsd:complexType>
+        <xsd:sequence>
+          <xsd:group ref="termGroup"/>
+        </xsd:sequence>
+      </xsd:complexType>
+    </xsd:element>
   </xsd:choice>
 </xsd:group>