This commit was manufactured by cvs2svn to create branch 'moogle'.

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

diff --git a/helm/mowgli/home/xml/publications/others/har_bg.xml b/helm/mowgli/home/xml/publications/others/har_bg.xml
deleted file mode 100644 (file)
index 2896fc3..0000000
--- a/helm/mowgli/home/xml/publications/others/har_bg.xml
+++ /dev/null
@@ -1,11 +0,0 @@
-<?xml version="1.0"?>
-
-<!DOCTYPE publication SYSTEM "publication.dtd">
-
-<publication>
- <title>Proof Assistants using Dependent Type Systems</title>
- <author file="nijmegen/barendregt"/>
- <author file="nijmegen/geuvers"/>
- <where>to appear as a chapter of the Handbook of Automated Reasoning, eds.
-  A. Robinson and A. Voronkov, Elsevier 2001</where>
-</publication>