Mercurial Mercurial > repos > isabelle / file revision
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/Tools/blue_arrow.gif
author nipkow
Mon, 22 Apr 1996 15:42:20 +0200
changeset 1669 e56cdf711729
parent 1330 e9becade0076
permissions -rw-r--r--
inserted Suc_less_eq explictly in a few proofs. inserted o_def explictly in a few proofs because the new split_tac causes fewer eta-expansions which some of the rewrites need. Indented proof in I.ML

(binary:image/gif)
isabelle