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.
etc/components
author wenzelm
Tue, 04 Aug 2009 19:20:24 +0200
changeset 32327 0971cc0b6a57
parent 32325 300b7d5d23d7
child 32332 bc5cec7b2be6
permissions -rw-r--r--
src/HOL/Tools/ATP_Manager as separate component, with (almost) everything in one place;

#main object logics
src/Pure
src/FOL
src/HOL
src/ZF
src/CCL
src/CTT
src/Cube
src/FOLP
src/HOLCF
src/LCF
src/Sequents
#misc components
src/HOL/Tools/ATP_Manager
isabelle