PrintForm Definitions mb event system 7 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: trigger1 feasible
  T,A:Type, P:(AT), i:Id, k:Knd, a,x:Id.
  A
  
  T
  
  x = "trigger"
  
  locl(a) = k  d-feasible(loc.(trigger1(loc;T;A;P;i;k;a;x)))
By: ProveFeasibleSupport [i]

Generated subgoals:

None

About:
consnilboolnatural_numbertokenlambda
functionuniverseequalimpliesall
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

PrintForm Definitions mb event system 7 Sections EventSystems Doc