
diff -r 42a1c230daff -r 43df2d59fb98 ProgTutorial/Appendix.thy
--- a/ProgTutorial/Appendix.thy	Tue Oct 20 12:25:20 2009 +0200
+++ b/ProgTutorial/Appendix.thy	Thu Oct 22 02:03:14 2009 +0200
@@ -29,6 +29,8 @@
   (@{ML_file "Pure/pattern.ML"} implements HOPU)
 
   \item useful datastructures: discrimination nets, association lists
+
+  \item Brief history of Isabelle
   \end{itemize}
 *}
 




