User contributions
From The Twelf Project
- 12:34, 21 March 2007 (diff | hist) Research projects using Twelf (→Projects using Twelf)
- 23:51, 19 March 2007 (diff | hist) Logic programming (→Uses of logic programming in Twelf)
- 23:43, 19 March 2007 (diff | hist) Intrinsic and extrinsic encodings
- 18:24, 19 March 2007 (diff | hist) Intrinsic and extrinsic encodings
- 17:53, 19 March 2007 (diff | hist) Intrinsic and extrinsic encodings
- 17:22, 19 March 2007 (diff | hist) N Intrinsic and extrinsic encodings (New page: It often comes to pass that you have a judgement and a second judgement which picks out some of the subjects of the first. For instance, terms and values, or terms and well-typed terms, or...)
- 18:01, 15 March 2007 (diff | hist) Talk:Strengthening
- 18:00, 15 March 2007 (diff | hist) Talk:Strengthening
- 15:41, 15 March 2007 (diff | hist) Talk:Strengthening
- 15:36, 15 March 2007 (diff | hist) Strengthening (→Evaluation and preservation) (top)
- 00:57, 26 February 2007 (diff | hist) Talk:Effectiveness lemma
- 18:10, 9 November 2006 (diff | hist) N Twelf with Emacs
- 15:49, 20 October 2006 (diff | hist) m Strengthening (→Evaluation and preservation)
- 15:42, 20 October 2006 (diff | hist) m Strengthening
- 15:41, 20 October 2006 (diff | hist) What's new
- 15:38, 20 October 2006 (diff | hist) m Strengthening
- 15:34, 20 October 2006 (diff | hist) m Strengthening
- 15:33, 20 October 2006 (diff | hist) m Strengthening
- 15:32, 20 October 2006 (diff | hist) Strengthening
- 15:30, 20 October 2006 (diff | hist) N Strengthening
- 13:44, 20 October 2006 (diff | hist) Tutorials (→Advanced proof techniques)
- 13:42, 20 October 2006 (diff | hist) m Template:The Twelf Project/Introduction (TALt -> TALT)
- 16:43, 21 September 2006 (diff | hist) N User:JakeD (top)
