PrintForm core StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: unit triviality
  a:Unit. a = 
By: (Analyze 0) THEN (UnitInd -1)

Generated subgoals:

None

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

PrintForm core StandardLIB Doc