path: root/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/initialModels/fs.xmi

<?xml version="1.0" encoding="UTF-8"?>
<FS:Model xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xmlns:FS="FS" xsi:schemaLocation="FS FileSytem.ecore"/>