Should change modlab and modtab to support multiple indices in the some rule:
everytime we apply some with the decide index, we take the first index from the list and return the list without the head.
create modtab for reflexivity
once Marco is finished with trans/symm add modtab with their support
Should change modlab and modtab to support multiple indices in the some rule: everytime we apply some with the decide index, we take the first index from the list and return the list without the head.
create modtab for reflexivity
once Marco is finished with trans/symm add modtab with their support