Tests/ca.mcgill.ecse.dslreasoner.vampire.test/initialModels/ecore.xmi


1
2
3
4
5
6

<?xml version="1.0" encoding="UTF-8"?>
<ecore:EPackage
    xmi:version="2.0"
    xmlns:xmi="http://www.omg.org/XMI"
    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
    name="init"/>