src/HOL/Import/HOL/seq.imp
2005-09-28 obua 2005-09-28 mapped "-->" to "hol4-->"
2004-04-02 skalberg 2004-04-02 Added HOL proof importer.