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 bulwahn
Tue, 04 Aug 2009 08:34:56 +0200
changeset 32307 55166cd57a6d
parent 30442 1bc0638d554d
child 33191 fe3c65d9c577
permissions -rw-r--r--
exported functions for quickcheck generator; renamed type constructing functions to fit with the type name in the Predicate theory

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