lib/scripts/unsymbolize.pl
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-06-14 wenzelm 2008-06-14 added ~: and ~=; fixed SOME, which is now \<some> not \<epsilon>;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2002-05-28 paulson 2002-05-28 added <-> and ~
2000-12-11 wenzelm 2000-12-11 harpoons;
2000-11-21 wenzelm 2000-11-21 replace \<dots>;
2000-09-25 wenzelm 2000-09-25 tuned replacements;
2000-09-18 wenzelm 2000-09-18 remove unreadable symbol names from sources;