#!/bin/bash

BASEDIR=/home/projects/helm/EXPORT/xmltheory
$BASEDIR/Coq_v2theoryxml/coq_v2theoryxml -R $BASEDIR/XmlTheory Bologna.XmlTheory $@