mainActivity/src/com/example/furt/myapplication/Formula.java

   1 package com.example.furt.myapplication;
   2
   3 import java.util.List;
   4
   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();
  11 }
  12