Mercurial Mercurial > repos > isabelle / diff
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/Contents
changeset 52552 0260bdba4dd7
parent 52415 d9fed6e99a57
child 52792 3e651be14fcd 
--- a/doc/Contents	Sun Jul 07 18:50:16 2013 +0200
+++ b/doc/Contents	Sun Jul 07 20:23:09 2013 +0200
@@ -17,7 +17,6 @@
 
 Old Manuals (outdated)
   intro           Old Introduction to Isabelle
-  logics          Isabelle's Logics: overview and misc logics
-  logics-HOL      Isabelle's Logics: HOL
+  logics          Isabelle's Logics: HOL and misc logics
   logics-ZF       Isabelle's Logics: FOL and ZF
isabelle