Nuprl Definition : dl-prop
Prop == mrec(dl-Spec();"prop")
Definitions occuring in Statement :
dl-Spec: dl-Spec(),
mrec: mrec(L;i),
token: "$token"
Definitions occuring in definition :
mrec: mrec(L;i),
dl-Spec: dl-Spec(),
token: "$token"
FDL editor aliases :
dl-prop
Latex:
Prop == mrec(dl-Spec();"prop")
Date html generated:
2019_10_15-AM-11_39_10
Last ObjectModification:
2019_03_26-AM-11_16_07
Theory : dynamic!logic
Home
Index