diff -r 1afb9462ea70 -r 8355bfc8d35d Cookbook/title.html
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Cookbook/title.html Sun Oct 30 21:57:49 2011 +0000
@@ -0,0 +1,27 @@
+
+
+
+
+ The Nominal Datatype Package
+
+
+
+
+
+
+Isabelle Documentation Project
+
+funded by the German Research Foundation (DFG)
+
+
+
+
+