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/Bali/Example.thy
changeset 32456 341c83339aeb
parent 31197 c1c163ec6c44
child 32960 69916a850301
equal deleted inserted replaced
32450:375db037f4d2 32456:341c83339aeb 
  1165 apply      (simp,rule assigned.select_convs)
 
  1165 apply      (simp,rule assigned.select_convs)
 
  1166 apply     (simp)
 
  1166 apply     (simp)
 
  1167 apply    (simp,rule assigned.select_convs)
 
  1167 apply    (simp,rule assigned.select_convs)
 
  1168 apply   (simp)
 
  1168 apply   (simp)
 
  1169 apply  simp
 
  1169 apply  simp
 
  1170 apply  blast
 
       
  1171 apply simp
 
  1170 apply simp
 
  1172 apply (simp add: intersect_ts_def)
 
  1171 apply (simp add: intersect_ts_def)
 
  1173 done
 
  1172 done
 
  1174 
  1173 
  1175 
  1174
isabelle