Structure flookupLib


Source File Identifier index Theory binding index

signature flookupLib =
sig
   val FLOOKUP_DEFN_CONV: Conv.conv
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-10