WhoCites
Definitions
MarkB
generic
Sections
NuprlLIB
Doc
Who Cites squash?
squash
Def
T == {:True| T }
Thm*
A:Prop.
A
Prop
Syntax:
T
has structure:
squash(T)
About:
WhoCites
Definitions
MarkB
generic
Sections
NuprlLIB
Doc
T == {:True| T }
A:Prop. A 
PropT == {:True| T }A:Prop. A PropT
