<!DOCTYPE rdf:RDF SYSTEM "../tpm.dtd">
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:TPM="http://texlive.dante.de/">
  <rdf:Description about="http://texlive.dante.de/texlive/package/semantic.zip">
    <TPM:Name>semantic</TPM:Name>
    <TPM:Type>package</TPM:Type>
    <TPM:Date>2002/07/04 15:12:39</TPM:Date>
    <TPM:Version></TPM:Version>
    <TPM:Creator>rahtz</TPM:Creator>
    <TPM:Title>No caption.</TPM:Title>
    <TPM:Size>147438</TPM:Size>
    <TPM:Description>
Eases the typesetting of notation of semantics and
compilers. Includes T-diagrams, various derivation symbols
and inference trees.
    </TPM:Description>
    <TPM:Build>
      <TPM:RunPatterns>
texmf/tex/latex/semantic/*
texmf/tpm/package/semantic.tpm
      </TPM:RunPatterns>
      <TPM:SourcePatterns>texmf/source/latex/semantic/*</TPM:SourcePatterns>
    </TPM:Build>
    <TPM:RunFiles size="29955">
texmf/tex/latex/semantic/infernce.sty
texmf/tex/latex/semantic/ligature.sty
texmf/tex/latex/semantic/reserved.sty
texmf/tex/latex/semantic/semantic.sty
texmf/tex/latex/semantic/shrthand.sty
texmf/tex/latex/semantic/tdiagram.sty
texmf/tpm/package/semantic.tpm
    </TPM:RunFiles>
    <TPM:SourceFiles size="117483">
texmf/source/latex/semantic/semantic.dtx
texmf/source/latex/semantic/semantic.ins
    </TPM:SourceFiles>
    <TPM:Provides>package/semantic</TPM:Provides>
  </rdf:Description>
</rdf:RDF>