/*
* generated by Xtext
*/
package net.certware.argument.sfp.ui.outline;
/**
* Customization of the default outline structure.
*
* see http://www.eclipse.org/Xtext/documentation.html#outline
*/
public class SemiFormalProofOutlineTreeProvider extends org.eclipse.xtext.ui.editor.outline.impl.DefaultOutlineTreeProvider {
}