more uniform title, follow-up to 928cb8b35e6e;
authorwenzelm
Fri Nov 23 15:08:44 2012 +0100 (2012-11-23)
changeset 50174fe84e830866e
parent 50173 e014009fbd93
child 50175 b27cf0646080
more uniform title, follow-up to 928cb8b35e6e;
doc/Contents
     1.1 --- a/doc/Contents	Fri Nov 23 13:46:01 2012 +0100
     1.2 +++ b/doc/Contents	Fri Nov 23 15:08:44 2012 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -Miscellaneous tutorials
     1.5 +Tutorials
     1.6    prog-prove      Programming and Proving in Isabelle/HOL
     1.7    tutorial        Tutorial on Isabelle/HOL
     1.8    locales         Tutorial on Locales