WhoCites Definitions mb label Sections GenAutomata Doc

Who Cites ptn?
ptnDef Pattern == rec(T.ptn_con(T))
Thm* Pattern Type
ptn_con Def ptn_con(T) == Atom++Atom+(TT)
Thm* T:Type. ptn_con(T) Type

Syntax:Pattern has structure: ptn

About:
productintatomunionrecuniversememberall!abstraction

WhoCites Definitions mb label Sections GenAutomata Doc