core/org.eclipse.efm.formalml/resources/library/FormalML-Standard-Library.di

<?xml version="1.0" encoding="UTF-8"?>
<di:SashWindowsMngr xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:di="http://www.eclipse.org/papyrus/0.7.0/sashdi">
  <sashModel currentSelection="//@sashModel/@windows.0/@children.0">
    <windows>
      <children xsi:type="di:TabFolder">
        <children>
          <emfPageIdentifier href="papyrus.welcome:dynamic#/"/>
        </children>
        <children>
          <emfPageIdentifier href="FormalML-Standard-Library.notation#_OHj2YOohEeWVSqbNzcM85A"/>
        </children>
        <children>
          <emfPageIdentifier href="FormalML-Standard-Library.notation#_mmRA8OohEeWVSqbNzcM85A"/>
        </children>
        <children>
          <emfPageIdentifier href="FormalML-Standard-Library.notation#_ejA8MOohEeWVSqbNzcM85A"/>
        </children>
      </children>
    </windows>
  </sashModel>
</di:SashWindowsMngr>