src/HOL/Tools/dseq.ML
changeset 35646 b32d6c1bdb4d
parent 33770 1ef05f838d51
equal deleted inserted replaced
35645:74e4542d0a4a 35646:b32d6c1bdb4d