[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
--------------------------------- 
Paqui Lucio                                
Dpto de LSI                    
Facultad de Informática
Paseo Manuel de Lardizabal, 1
20080-San Sebastián
SPAIN
---------------------------------
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.