Recent changes

From The Twelf Project

Jump to: navigation, search

Track the most recent changes to the wiki on this page.

Below are the last 50 changes in the last 7 days, as of 11:26, 28 August 2008.
Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide minor edits | Show bots | Hide anonymous users | Hide logged-in users | Hide patrolled edits | Hide my edits
Show new changes starting from 11:26, 28 August 2008

28 August 2008

(diff) (hist) . . Substitution lemma‎; 07:13 . . (+2) . . 139.19.131.62 (Talk) (→Substitution lemmas with dependent types [Advanced topic]: )
(diff) (hist) . . Substitution lemma‎; 07:12 . . (+114) . . 139.19.131.62 (Talk) (→Substitution lemmas with dependent types [Advanced topic]: )

26 August 2008

(diff) (hist) . . Proving metatheorems:Simply typed LF‎; 10:26 . . (-1) . . 152.81.9.97 (Talk) (→Syntax: )
(diff) (hist) . . Proving metatheorems:Simply typed LF‎; 10:26 . . (0) . . 152.81.9.97 (Talk) (→Syntax: )
(diff) (hist) . . Proving metatheorems:Simply typed LF‎; 10:25 . . (+1) . . 152.81.9.97 (Talk) (→Syntax: )

Retrieved from "http://twelf.plparty.org/wiki/Special:Recentchanges"

Views

Special

Personal tools

Log in / create account

the twelf wiki

learn twelf

reference

Search

Toolbox