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/HOL/Hoare_Parallel/RG_Examples.thy
changeset 44890 22f665a2e91c
parent 41842 d8f76db6a207
child 51121 34dbeb8f16a9
equal deleted inserted replaced
44889:340df9f3491f 44890:22f665a2e91c 
   284     apply(rule subset_refl)+
 
   284     apply(rule subset_refl)+
 
   285  apply(rule Cond)
 
   285  apply(rule Cond)
 
   286     apply force
 
   286     apply force
 
   287    apply(rule Basic)
 
   287    apply(rule Basic)
 
   288       apply force
 
   288       apply force
 
   289      apply fastsimp
 
   289      apply fastforce
 
   290     apply force
 
   290     apply force
 
   291    apply force
 
   291    apply force
 
   292   apply(rule Basic)
 
   292   apply(rule Basic)
 
   293      apply simp
 
   293      apply simp
 
   294      apply clarify
 
   294      apply clarify
isabelle