Change History for TypeFunctionsSynTC/Naive

Version Date Author Comment
1 12 years chak