Inductive Sat.Literal

Modification history