Oldest pages

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. Using nat-less with %reduces ‎(13:26, 27 September 2006)
  2. Mailing lists ‎(22:02, 27 September 2006)
  3. Function ‎(09:04, 10 October 2006)
  4. Sets and supersets ‎(02:52, 13 October 2006)
  5. Twelf Elf Rotation Charter ‎(17:23, 14 October 2006)
  6. Indexed lists ‎(11:38, 20 October 2006)
  7. Ambiguous hyperkind ‎(13:59, 26 October 2006)
  8. Unsafe mode ‎(03:29, 29 December 2006)
  9. %assert ‎(11:12, 29 December 2006)
  10. %prove ‎(14:07, 29 December 2006)
  11. %establish ‎(14:08, 29 December 2006)
  12. Meta-logic ‎(09:43, 26 February 2007)
  13. Ground ‎(10:47, 26 February 2007)
  14. %tabled ‎(04:23, 28 February 2007)
  15. %thaw ‎(10:18, 28 February 2007)
  16. %use ‎(12:40, 28 February 2007)
  17. TwelfTag ‎(00:39, 3 March 2007)
  18. %querytabled ‎(13:53, 9 March 2007)
  19. Converting between implicit and explicit parameters ‎(12:56, 15 March 2007)
  20. Strengthening ‎(15:36, 15 March 2007)
  21. Numeric termination metrics ‎(15:56, 15 March 2007)
  22. Equivalence relation ‎(22:09, 15 March 2007)
  23. %clause ‎(23:57, 17 March 2007)
  24. %solve ‎(00:27, 18 March 2007)
  25. Hypothetical judgment ‎(18:08, 19 March 2007)
  26. Congruence relation ‎(18:23, 19 March 2007)
  27. Linear logic ‎(02:26, 20 March 2007)
  28. Zermelo Frankel ‎(02:30, 20 March 2007)
  29. Lexicographical orderings with density ‎(02:31, 20 March 2007)
  30. Classical S5 ‎(02:34, 20 March 2007)
  31. Lily ‎(02:34, 20 March 2007)
  32. Beta-equivalence ‎(09:19, 20 March 2007)
  33. Weakening lemma ‎(15:38, 20 March 2007)
  34. Adequacy ‎(16:20, 20 March 2007)
  35. Twelf signature ‎(18:59, 20 March 2007)
  36. Unification ‎(19:30, 20 March 2007)
  37. Dependent types ‎(20:48, 20 March 2007)
  38. User's Guide ‎(21:04, 20 March 2007)
  39. Syntax (Object logic) ‎(21:15, 20 March 2007)
  40. Type family ‎(21:55, 20 March 2007)
  41. Relation ‎(22:00, 20 March 2007)
  42. World subsumption ‎(23:16, 20 March 2007)
  43. Hereditary substitution for the STLC (part 2) ‎(08:07, 21 March 2007)
  44. %total ‎(10:27, 21 March 2007)
  45. Eta-equivalence ‎(23:57, 25 March 2007)
  46. Canonical form ‎(23:58, 25 March 2007)
  47. Modes of use ‎(00:38, 12 April 2007)
  48. Theorem prover ‎(19:49, 14 May 2007)
  49. Constraint domains and coverage checking ‎(07:26, 26 September 2007)
  50. Naming conventions ‎(07:27, 26 September 2007)

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

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