Pages with the most revisions

From The Twelf Project

Jump to: navigation, search

Showing below up to 50 results starting with #1.

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

  1. Lists ‎(86 revisions)
  2. What's new ‎(68 revisions)
  3. Tutorials ‎(62 revisions)
  4. Lily ‎(58 revisions)
  5. Glossary ‎(52 revisions)
  6. Documentation ‎(50 revisions)
  7. Main Page ‎(48 revisions)
  8. Twelf style guide ‎(44 revisions)
  9. Summer school 2008 ‎(40 revisions)
  10. Download ‎(39 revisions)
  11. Proving metatheorems with Twelf ‎(36 revisions)
  12. Uniqueness lemma ‎(33 revisions)
  13. Substitution lemma ‎(33 revisions)
  14. Research projects using Twelf ‎(33 revisions)
  15. Computation and Deduction 2009 ‎(32 revisions)
  16. CPS conversion ‎(31 revisions)
  17. Case studies ‎(30 revisions)
  18. POPL Tutorial/Problems ‎(29 revisions)
  19. Metatheorem ‎(29 revisions)
  20. Linear logic ‎(28 revisions)
  21. Focusing ‎(27 revisions)
  22. Hereditary substitution for the STLC ‎(27 revisions)
  23. Equality ‎(26 revisions)
  24. Simply-typed lambda calculus ‎(26 revisions)
  25. %terminates ‎(25 revisions)
  26. POPL Tutorial ‎(24 revisions)
  27. POPL Tutorial/Session 2 Answer ‎(23 revisions)
  28. POPL Tutorial/cps-problem ‎(23 revisions)
  29. Admissibility of cut ‎(22 revisions)
  30. Respects lemma ‎(20 revisions)
  31. Introductions to Twelf ‎(19 revisions)
  32. Coverage checking ‎(19 revisions)
  33. Reformulating languages to use hypothetical judgements ‎(18 revisions)
  34. Concrete representation ‎(18 revisions)
  35. Ask Twelf Elf ‎(18 revisions)
  36. Output factoring ‎(18 revisions)
  37. Incremental metatheorem development ‎(18 revisions)
  38. Natural numbers with inequality ‎(17 revisions)
  39. Summer school 2008:Exercises 1 ‎(17 revisions)
  40. Effectiveness lemma ‎(16 revisions)
  41. Tabled logic programming ‎(15 revisions)
  42. %unique ‎(15 revisions)
  43. POPL Tutorial/Big step, small step ‎(15 revisions)
  44. Simplifying dynamic clauses ‎(15 revisions)
  45. POPL Tutorial/Big step, small step: Solution ‎(15 revisions)
  46. Release history ‎(15 revisions)
  47. Verifications and uses ‎(15 revisions)
  48. Church-Rosser (w/ identity reduction) ‎(14 revisions)
  49. Constraint domain ‎(14 revisions)
  50. Exchange lemma ‎(14 revisions)

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

Retrieved from "http://twelf.org/wiki/Special:MostRevisions"
Views
Personal tools
Toolbox