Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added hypotheses.
authorberghofe
Tue, 17 Jul 2007 16:05:54 +0200
changeset 23832 09ee9527ffce
parent 23831 64e6e5c738a1
child 23833 3fe991a1f805
Added hypotheses.
src/Pure/Tools/isabelle.xsd file | annotate | diff | comparison | revisions 
--- 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>
isabelle