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.
doc-src/Dirs
author blanchet
Tue, 27 Apr 2010 14:55:10 +0200
changeset 36477 71cc00ea5768
parent 33191 fe3c65d9c577
child 36926 90bb12cf8e36
permissions -rw-r--r--
allow schematic variables in types in terms that are reconstructed by Sledgehammer

Intro Ref System Logics HOL ZF Inductive TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar Classes Codegen Functions Nitpick Main
isabelle