1 package com.example.furt.myapplication;
5 public interface Formula extends FView{
6 public List<IntroductionRule> introductionRules();
7 public List<EliminationRule> EliminationRules();
8 public boolean Fill(Formula F);
9 public boolean setCursor();
10 public Formula duplicate();