[isabelle] X-symbol and Isabelle



Hello I'm a new Isabelle user and i want to introduce a new symbol to the
proof general (i.e X-Symbol), I can't find material about how to do this.

I'll be gratefull you let me know how to do this.

Sorry about my english

Saludos, Valentin.

--
Departamento de Computaciòn
Universidad Nacional de Río Cuarto






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