Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/more_thm.ML
changeset 36744 6e1f3d609a68
parent 36106 19deea200358
child 39133 70d3915c92f0
equal deleted inserted replaced
36743:ce2297415b54 36744:6e1f3d609a68 
   324 
   324 
   325 
   325 
   326 (* close_derivation *)
 
   326 (* close_derivation *)
 
   327 
   327 
   328 fun close_derivation thm =
 
   328 fun close_derivation thm =
 
   329   if Thm.get_name thm = "" then Thm.put_name "" thm
 
   329   if Thm.derivation_name thm = "" then Thm.name_derivation "" thm
 
   330   else thm;
 
   330   else thm;
 
   331 
   331 
   332 
   332 
   333 
   333 
   334 (** specification primitives **)
 
   334 (** specification primitives **)
isabelle