Mercurial Mercurial > repos > isabelle / 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.
src/HOL/Proofs/Extraction/Pigeonhole.thy
changeset 55535 10194808430d
parent 51272 9c8d63b4b6be
child 58622 aa99568f56de 
--- a/src/HOL/Proofs/Extraction/Pigeonhole.thy	Mon Feb 17 13:31:42 2014 +0100
+++ b/src/HOL/Proofs/Extraction/Pigeonhole.thy	Mon Feb 17 13:31:42 2014 +0100
@@ -253,4 +253,3 @@
 ML_val "timeit @{code test''}"
 
 end
-
isabelle