Change History for TypeFunctionsSynTC/Naive

Version Date Author Comment
1 10 years chak