Nuprl Definition : free-vars

free-vars(t) ==  free-vars-aux([];t)


Definitions occuring in Statement :  free-vars-aux: free-vars-aux(bnds;t),  nil: []
Definitions occuring in definition :  free-vars-aux: free-vars-aux(bnds;t),  nil: []
FDL editor aliases :  free-vars
Latex:
free-vars(t)  ==    free-vars-aux([];t)


Date html generated: 2020_05_19-PM-09_56_07
Last ObjectModification: 2020_03_09-PM-04_09_13

Theory : terms


Home Index