Initial commit of the XML/XSLT stuff.

[helm.git] / helm / mowgli / home / xml / publications / others / tcs2001_og.xml

diff --git a/helm/mowgli/home/xml/publications/others/tcs2001_og.xml b/helm/mowgli/home/xml/publications/others/tcs2001_og.xml
new file mode 100644 (file)
index 0000000..2844b10
--- /dev/null
+++ b/helm/mowgli/home/xml/publications/others/tcs2001_og.xml
@@ -0,0 +1,13 @@
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>Proof by Computation in the Coq system</title>
+ <author>
+  <name>M.</name>
+  <surname>Oostdijk</surname>
+ </author>
+ <author file="nijmegen/geuvers"/>
+ <where>To appear in Theoretical Computer Science, 2001</where>
+</publication>