src/HOL/hologic.ML
changeset 7584 5be4bb8e4e3f
parent 7548 9e29a3af64ab
child 7690 27676b51243d