Change History for TypeFunctionsSynTC/Naive

Version Date Author Comment
1 9 years chak