[isabelle] parser translation for sets

I wonder if there exists "a parser/print translation" for sets (from
HOL/set.thy) similar to the existing one for sequences in Sequents.thy. This
would allows us to work with sets in a more confortable way. ¿Does somebody
know some work on that?
Paqui Lucio                                
Dpto de LSI                    
Facultad de Informática
Paseo Manuel de Lardizabal, 1
20080-San Sebastián
e-mail: paqui.lucio at ehu.es
Tfn: (+34) (9)43 015049  
Fax: (+34) (9)43 015590
Web: http://www.sc.ehu.es/paqui

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