PrintForm Definitions mb list 1 Sections MarkB generic Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: no repeats nil
  T:Type. no_repeats(T;nil)
By: Unfold `no_repeats` 0 THEN Reduce 0

Generated subgoals:

None

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

PrintForm Definitions mb list 1 Sections MarkB generic Doc