Did I find the right examples for you? yes no      Crawl my project      Python Jobs

All Samples(1)  |  Call(1)  |  Derive(0)  |  Import(0)

        def bvarreplace(form, newbvarlist):
	if type(form) is not list: 
		return form 
	oldindvlist = indvlist(form)
	if oldindvlist:
		newindvlist = []
		for x in oldindvlist:
			newindvlist.append(newbvarlist.pop())
		nextform = indvsubst(newindvlist,oldindvlist,form)
	else:
		nextform = form[:]
	retform = [nextform[0]]
	for x in nextform[1:]:
		retform.append(bvarreplace(x, newbvarlist))
	return retform
        


src/p/r/proofcheck-1.0/unify.py   proofcheck(Download)
	for x in nblist:
		if x in nflist:
			tform = synt.bvarreplace(tform, newbvlist(len(nflist)))
			break
	if type(exp) is str :