src/HOL/Algebra/Bij.thy
2003-05-02 paulson 2003-05-02 moved Bij.thy from HOL/GroupTheory