(3steps total) PrintForm Definitions mb event system 6 Sections EventSystems Search Doc
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: decidable ma-decla
  A:Dsys, i,a:Id. Dec(a declared in M(i))
By: UnivCD

Generated subgoal:

1 1. A : Dsys
2. i : Id
3. a : Id
  Dec(a declared in M(i))
2 steps

About:
decidableall
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

(3steps total) PrintForm Definitions mb event system 6 Sections EventSystems Search Doc