src/HOL/Tools/hologic.ML
changeset 41075 4bed56dc95fb
parent 40845 15b97bd4b5c0
child 41339 481c89fabcbc