{
Name
Type
}
{
Proof
}
Definitions occuring in Statement
:
name:
Name
,
member:
t
T
,
universe:
Type
Definitions
:
atom:
Atom
,
member:
t
T
,
list:
type
List
,
equal:
s
=
t
,
name:
Name
Name \mmember{} Type
Date html generated: 2010_08_26-PM-11_29_51
Last ObjectModification: 2010_02_11-PM-06_21_07
Home
Index
T, Type } T, T,