User contributions for 2A02:120B:2C4D:0:0:0:0:0/48

30 October 2014

• 00:3500:35, 30 October 2014 diff hist +70 Extension by definitions 2a02:120b:2c4d:a600:f5f1:361a:3f0d:6640 talk →Definition of function symbols: type be -> by current

21 October 2014

• 15:3815:38, 21 October 2014 diff hist +216 Proof theory 2a02:120b:2c4d:a600:6534:c7:b804:302b talk →Consistency proofs current