blob: 5baf2a6e0d4d98de5fbaabf22322a49d05128ec5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
<!DOCTYPE rdf:RDF SYSTEM "../../Tools/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/proofs.zip">
<TPM:Name>proofs</TPM:Name>
<TPM:Type>Package</TPM:Type>
<TPM:Date>2000/04/06 08:37:33</TPM:Date>
<TPM:Version></TPM:Version>
<TPM:Creator>rahtz</TPM:Creator>
<TPM:Title>Macros for building proof trees.</TPM:Title>
<TPM:Description></TPM:Description>
<TPM:Author>Paul Taylor</TPM:Author>
<TPM:Size>115788</TPM:Size>
<TPM:Build/>
<TPM:RunFiles size="1173">texmf-dist/tpm/proofs.tpm</TPM:RunFiles>
<TPM:SourceFiles size="114615">
texmf-dist/source/latex/proofs/taylor/QED-.sty
texmf-dist/source/latex/proofs/taylor/QED.sty
texmf-dist/source/latex/proofs/taylor/boxproof-old.tex
texmf-dist/source/latex/proofs/taylor/boxproof.tex
texmf-dist/source/latex/proofs/taylor/prooftree-doc.dvi
texmf-dist/source/latex/proofs/taylor/prooftree-doc.tex
texmf-dist/source/latex/proofs/taylor/prooftree.tex
</TPM:SourceFiles>
<TPM:Provides>Package/proofs</TPM:Provides>
</rdf:Description>
</rdf:RDF>
|
