[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.