Template:Keyword

Twelf keywords

---

%. %abbrev %assert %block %clause %covers %define %deterministic %establish %freeze %infix %prefix %postfix %mode %name %prove %query %querytabled %reduces %solve %subord %tabled %terminates %thaw %theorem %total %trustme %unique %use %worlds

This template is intended for the bottom of articles about Twelf keywords, as an index. It also includes the article in the keywords category. Use it as {{keyword|key=name}}, where name is the name by which the keyword should be sorted.

The file twelf/src/frontend/lexer.fun in the Twelf sources contains the full list.