src/HOL/hologic.ML
changeset 28659 b4fd14ae8b8a
parent 27325 70e4eb732fa9
equal deleted inserted replaced
28658:a03ae929d9c0 28659:b4fd14ae8b8a