Change History for TypeFunctionsSynTC/Naive

Version Date Author Comment
1 11 years chak