IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
disjoint sublists sublist T:Type, L1,L2,L:T List. disjoint_sublists(T;L1;L2;L) L1L & L2L
By:
Auto THEN All (Unfolds [`guard`;`disjoint_sublists`;`sublist`]) THEN ExRepD
THEN
AutoInstConcl []
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html