Mercurial Mercurial > hg > lexing / 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.
thys/Sulzmann.thy
changeset 160 6342d0570502
parent 159 940530087f30
child 185 841f7b9c0a6a
equal deleted inserted replaced
159:940530087f30 160:6342d0570502 
   196 apply(simp)
 
   196 apply(simp)
 
   197 apply(erule Prf_elims)
 
   197 apply(erule Prf_elims)
 
   198 apply(simp)
 
   198 apply(simp)
 
   199 apply(simp)
 
   199 apply(simp)
 
   200 apply(erule Prf_elims)
 
   200 apply(erule Prf_elims)
 
   201 apply(simp)
 
       
   202 apply(erule Prf_elims)
 
       
   203 apply(simp)
 
       
   204 apply(auto split: prod.splits)[1]
 
   201 apply(auto split: prod.splits)[1]
 
   205 oops
 
   202 oops
 
   206 
   203 
   207 end
 
   204 end
lexing