Structure Diff

Source File	Identifier index	Theory binding index

signature Diff =
sig
   val basic_diffs :Thm.thm list ref
   val DIFF_CONV : Abbrev.conv
end

Source File	Identifier index	Theory binding index