Create FinSummDefs.v