# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1320014098 0
# Node ID 74b2a49e1f39d9b299f97e3d003a66680996889c
# Parent  e64a92e9496339c7439541bbf1adf13a27631a58
added

diff -r e64a92e94963 -r 74b2a49e1f39 Cookbook/main.html
--- a/Cookbook/main.html	Sun Oct 30 22:33:27 2011 +0000
+++ b/Cookbook/main.html	Sun Oct 30 22:34:58 2011 +0000
@@ -19,12 +19,8 @@
 theorems (see <A HREF="http://www.cl.cam.ac.uk/research/hvg/Isabelle/documentation.html" target="_top">here</A>).
 However, the entry barrier for users to program on the ML-level of Isabelle
 is still unbearably high. In this project we want to change this state
-of affairs by providing a <i>tutorial</i> about ML-coding in Isabelle. The
-German Research Council has provided us with funding for this project. 
-<p> 
-
-The main aim is to generate a tutorial for people who want to have 
-a look under the <i>hood</i> of Isabelle. At its centre it describes the 
+of affairs by providing a <i>tutorial</i> about ML-coding in Isabelle. 
+At its centre it describes the 
 implementation of a simple prototypical Isabelle package (we describe
 a simplified version of the inductive package). We hope by 
 documenting every aspect of this package that in the future you will 
@@ -184,7 +180,7 @@
 <P>
 <a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a>
 <!-- hhmts start -->
-Last modified: Sun Oct 30 22:33:16 GMT 2011
+Last modified: Sun Oct 30 22:34:54 GMT 2011
 <!-- hhmts end -->
 
 </body>