src/HOL/Import/HOL/bword_num.imp
2004-04-02 skalberg 2004-04-02 Added HOL proof importer.