Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IMPP/Misc.ML
2001-01-22 paulson deleted several obsolete lemmas from NatArith.ML file | diff | annotate
2000-03-28 nipkow mods because of weak_case_cong file | diff | annotate
2000-01-31 oheimb added IMPP to HOL file | diff | annotate
less more (0) tip
isabelle