Structure EvalRef


Source File Identifier index Theory binding index

signature EvalRef =
sig
   val r : Term.term ref
end


Source File Identifier index Theory binding index

HOL 4, Trindemossen-1