Nuprl Definition : dl-prog
Prog == mrec(dl-Spec();"prog")
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-prog
Latex:
Prog == mrec(dl-Spec();"prog")
Date html generated:
2019_10_15-AM-11_39_07
Last ObjectModification:
2019_03_26-AM-11_16_06
Theory : dynamic!logic
Home
Index