src/HOL/hologic.ML
changeset 11045 971a50fda146
parent 10693 9e4a0e84d0d6
child 11604 14b03d1463d4