Change History for TypeFunctionsSynTC/Naive

Version Date Author Comment
1 8 years chak