Structure indexedListsSimps


Source File Identifier index Theory binding index

signature indexedListsSimps =
sig
   val add_indexedLists_compset : computeLib.compset -> unit
   val indexedLists_ss : simpLib.ssfrag
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-13