Template:Proving metatheorems

From The Twelf Project
Jump to: navigation, search
Previous:
[[Proving metatheorems:{{{prev}}}|{{{prevname}}}]]
Proving metatheorems with Twelf Next:
[[Proving metatheorems:{{{next}}}|{{{nextname}}}]]


This template is for use in the Proving metatheorems with Twelf multi-page article. It should be given arguments prev (a wiki page) and prevname (the short name to use in the link), as well as arguments next and nextname. If the arguments noprevious or nonext are specified, then these links will not show at all.