Mercurial Mercurial > hg > lexing / diff
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 
--- a/thys/Sulzmann.thy	Tue Apr 05 09:27:36 2016 +0100
+++ b/thys/Sulzmann.thy	Tue Apr 05 14:00:55 2016 +0100
@@ -198,9 +198,6 @@
 apply(simp)
 apply(simp)
 apply(erule Prf_elims)
-apply(simp)
-apply(erule Prf_elims)
-apply(simp)
 apply(auto split: prod.splits)[1]
 oops
lexing