src/HOL/hologic.ML
changeset 11820 015a82d4ee96
parent 11818 9eab353e810b
child 12338 de0f4a63baa5
equal deleted inserted replaced
11819:9283b3c11234 11820:015a82d4ee96