List of redirects

Showing below up to 50 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

1. Template:The Twelf Project/Blog Updates →‎ What's new
2. Template:The Twelf Project/What's new →‎ Template:Front-What's new
3. Template:The Twelf Project/Release History →‎ Template:Front-Release History
4. Proofs by reductio ad absurdum →‎ Reasoning from false
5. Factoring →‎ Output factoring
6. The Twelf Project:Copyrights →‎ The Twelf Project:Copyright
7. The Twelf Project:GNU Free Documentation License →‎ The Twelf Project:GFDL
8. The Twelf Project:About →‎ About The Twelf Project
9. Style guide →‎ Twelf style guide
10. Talk:UserGuide →‎ Talk:User's Guide
11. Main page →‎ Main Page
12. Revision history →‎ Release history
13. Judgments as types →‎ Judgment
14. Judgments →‎ Judgment
15. Exchange →‎ Exchange lemma
16. Twelf glossary →‎ Glossary
17. Substitution Lemma →‎ Substitution lemma
18. Weakening →‎ Weakening lemma
19. Substitution →‎ Substitution lemma
20. Type families →‎ Type family
21. Developers →‎ About The Twelf Project
22. Shallow equality →‎ Equality
23. Deep equality →‎ Equality
24. Object logic syntax →‎ Syntax (Object logic)
25. Template:Multimap →‎ Template:Lolli
26. The Twelf Project:Bureaucrats →‎ The Twelf Project:Contributors
27. Tutorial →‎ Tutorials
28. Uniqueness lemmas →‎ Uniqueness lemma
29. Effectiveness lemmas →‎ Effectiveness lemma
30. Signature →‎ Twelf signature
31. Twelf naming conventions →‎ Naming conventions
32. Twelf-list →‎ Mailing lists
33. Progress →‎ Canonical forms lemma
34. Reasoning from equality →‎ Equality
35. Object language →‎ Object logic
36. %infix →‎ Fixity declaration
37. %prefix →‎ Fixity declaration
38. %postfix →‎ Fixity declaration
39. Software →‎ Download
40. Talk:Software →‎ Talk:Download
41. The Twelf Project:Syntax Highlighting →‎ The Twelf Project:Syntax highlighting
42. Equivalence relations →‎ Equality
43. Identity →‎ Equality
44. Function (relation) →‎ Function
45. Dense lexicographical orderings →‎ Lexicographical orderings with density
46. Implicit parameter →‎ Implicit and explicit parameters
47. Explicit parameter →‎ Implicit and explicit parameters
48. Universal quantification →‎ Implicit and explicit parameters
49. Template:Front-Blog Updates →‎ What's new
50. Template talk:Front-Blog Updates →‎ Talk:What's new

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)