author | wenzelm |
Tue, 03 Apr 2012 21:39:28 +0200 | |
changeset 47323 | 365521737b6a |
parent 47322 | e19a3759f303 |
child 47326 | b4490e1a0732 |
doc/Contents | file | annotate | diff | comparison | revisions |
--- a/doc/Contents Tue Apr 03 21:09:09 2012 +0200 +++ b/doc/Contents Tue Apr 03 21:39:28 2012 +0200 @@ -1,7 +1,6 @@ Miscellaneous tutorials + prog-prove Programming and Proving in Isabelle/HOL tutorial Tutorial on Isabelle/HOL - prog-prove Programming and Proving in Isabelle/HOL - isar-overview Tutorial on Isar locales Tutorial on Locales classes Tutorial on Type Classes functions Tutorial on Function Definitions