[isabelle] variable in Isar?



Hi,

is it possible to define a variable in Isar, like

  var elem = SOME x. {x. even x}

and then use it later?

- Gergely





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