doc/Contents
changeset 52415 d9fed6e99a57
parent 50174 fe84e830866e
child 52552 0260bdba4dd7
     1.1 --- a/doc/Contents	Tue Jun 18 15:15:36 2013 +0200
     1.2 +++ b/doc/Contents	Tue Jun 18 15:31:52 2013 +0200
     1.3 @@ -17,7 +17,6 @@
     1.4  
     1.5  Old Manuals (outdated)
     1.6    intro           Old Introduction to Isabelle
     1.7 -  ref             Old Isabelle Reference Manual
     1.8    logics          Isabelle's Logics: overview and misc logics
     1.9    logics-HOL      Isabelle's Logics: HOL
    1.10    logics-ZF       Isabelle's Logics: FOL and ZF