SemiFormalProofProjectInfo.java

package net.certware.argument.sfp.ui.wizard;

public class SemiFormalProofProjectInfo extends org.eclipse.xtext.ui.wizard.DefaultProjectInfo {
	
}