User contributions

From The Twelf Project

Search for contributions

 Show contributions of new accounts only
 IP address or username: Namespace: all (Main) Talk User User talk The Twelf Project The Twelf Project talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Elves Elves talk Proving metatheorems Proving metatheorems talk

From year (and earlier): From month (and earlier): all January February March April May June July August September October November December

• 08:12, 26 January 2010 (diff | hist) Subordination ‎ (Fixed wording: a <| b means "a is subordinate to b") (top)
• 03:56, 26 May 2008 (diff | hist) Talk:Ask Twelf Elf ‎ (Question Regarding Explicit LF Specification Generation)