BaseDef == Name 
Id List T:LimitedType (T 
)
Definitions :
name: Name,
list: type List,
Id: Id,
product: x:A B[x],
limited-type: LimitedType,
function: x:A B[x],
bool:
FDL editor aliases :
base-deriv
BaseDef == Name \mtimes{} Id List \mtimes{} T:LimitedType \mtimes{} (T {}\mrightarrow{} \mBbbB{})
Date html generated:
2010_08_27-PM-08_07_23
Last ObjectModification:
2010_06_18-AM-12_51_46
Home
Index