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

HOL 4, Kananaskis-13