src/HOL/Import/xmlconv.ML
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2008-11-15 wenzelm 2008-11-15 adapted PThm and MinProof;
2006-12-15 wenzelm 2006-12-15 avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
2006-12-05 wenzelm 2006-12-05 thm/prf: separate official name vs. additional tags;
2006-02-16 obua 2006-02-16 improved scanning
2006-02-15 obua 2006-02-15 fixed bugs, added caching