src/HOL/Import/hol4rews.ML
changeset 29164 0d49c5b55046
parent 28965 1de908189869
child 29585 c23295521af5
equal deleted inserted replaced
29163:e72d07a878f8 29164:0d49c5b55046