changed the type of "proofs" in Induction (sets, sets of sets...) and first encoding of proofgraph
changed the type of "proofs" in Induction (sets, sets of sets...) and first encoding of proofgraph

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition