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