User contributions for Spf
25 April 2012
- 11:3811:38, 25 April 2012 diff hist +6 People:Stephan Falke No edit summary current
- 11:3811:38, 25 April 2012 diff hist +823 N Tools:KITTeL Created page with " <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool pa..." current
21 December 2009
- 10:0510:05, 21 December 2009 diff hist +32 People:Stephan Falke No edit summary
2 April 2008
- 18:3018:30, 2 April 2008 diff hist +119 WST No edit summary
- 16:4316:43, 2 April 2008 diff hist +397 N Bibtex:BN98 New page: == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> @BOOK{BN98, AUTHOR = {F. Baader and T. Nipkow}, TITLE = {Term Rewriting and All That... current
31 March 2008
- 20:1320:13, 31 March 2008 diff hist +18 Template:Person →{{{titles}}} {{{firstname}}} {{{middlenames}}} {{{lastname}}}
- 16:0716:07, 31 March 2008 diff hist +542 N People:Stephan Falke New page: <!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yourself after th...