Nuprl - Proof: nil interleaving2 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: nil interleaving2 2

1. T : Type
2. L1 : T List
3. L : T List
4. L = L1

disjoint_sublists(T;L1;nil;L1)

By:	Unfold `disjoint_sublists` 0 THEN Reduce 0 THEN InstConcl [i.i;i.i] THEN Reduce 0 THEN Try (EasyWith Auto)

Generated subgoals:

None

About:

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html