Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper naming of weak_ref_map2ref_map;
authorwenzelm
Mon, 17 Mar 2008 18:37:08 +0100
changeset 26306 ed3375ac152d
parent 26305 651371f29e00
child 26307 27d3de85c266
proper naming of weak_ref_map2ref_map;
src/HOLCF/IOA/meta_theory/RefMappings.thy file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/IOA/meta_theory/RefMappings.thy	Mon Mar 17 18:37:07 2008 +0100
+++ b/src/HOLCF/IOA/meta_theory/RefMappings.thy	Mon Mar 17 18:37:08 2008 +0100
@@ -69,7 +69,7 @@
 
 subsection "weak_ref_map and ref_map"
 
-lemma imp_conj_lemma: 
+lemma weak_ref_map2ref_map:
   "[| ext C = ext A;  
      is_weak_ref_map f C A |] ==> is_ref_map f C A"
 apply (unfold is_weak_ref_map_def is_ref_map_def)
isabelle