PrintForm Definitions list 3 jlc Sections Support(jlc) Doc

At: list all wf nil

T:Type, P:(TType). xnil.P(x) Type
By: Rewrite (HigherC list_all_unrollC) 0
Generated subgoals:

None

About:
nilfunctionuniversememberall

PrintForm Definitions list 3 jlc Sections Support(jlc) Doc