[isabelle] list of currently bound variables



Hi,

Does anyone know how to acess to the list of currently bound variables (namely to know the names of Bound 0, Bound 1, ...)

Many thanks
fmd

--


Francisco Miguel Dionísio

Departamento de Matemática Instituto Superior Técnico

tel: 218417143
fmd at math.ist.utl.pt






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.