Definitions
bool
1
Doc
At:
comb
for
assert
wf
(
b,z. b)
True
Prop
By:
ProveOpCombTyping Thm*
b:
. b
Prop
Generated subgoals:
None
(
b,z. b) 
TrueProp
b:. b Prop