doc/Contents
changeset 47323 365521737b6a
parent 47320 928cb8b35e6e
child 48964 3ec847562782
     1.1 --- a/doc/Contents	Tue Apr 03 21:09:09 2012 +0200
     1.2 +++ b/doc/Contents	Tue Apr 03 21:39:28 2012 +0200
     1.3 @@ -1,7 +1,6 @@
     1.4  Miscellaneous tutorials
     1.5 +  prog-prove      Programming and Proving in Isabelle/HOL
     1.6    tutorial        Tutorial on Isabelle/HOL
     1.7 -  prog-prove      Programming and Proving in Isabelle/HOL
     1.8 -  isar-overview   Tutorial on Isar
     1.9    locales         Tutorial on Locales
    1.10    classes         Tutorial on Type Classes
    1.11    functions       Tutorial on Function Definitions