User contributions for 2A02:120B:2C4D:A600:F5F1:361A:3F0D:6640
Jump to navigation
Jump to search
30 October 2014
- 00:3500:35, 30 October 2014 diff hist +70 Extension by definitions →Definition of function symbols: type be -> by current