PrintForm
Definitions
mb
event
system
7
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
bi-tree
wf
G
:(Id
),
to
,
from
:(|
G
|
(IdLnk List)). bi-tree(
G
;
to
;
from
)
Prop
By:
Unfold `bi-tree` 0 THEN MaAuto
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
PrintForm
Definitions
mb
event
system
7
Sections
EventSystems
Doc
G:(Id
), to,from:(|G|(IdLnk List)). bi-tree(G;to;from) 
Prop G:(Id), to,from:(|G|(IdLnk List)). bi-tree(G;to;from) Prop
