# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1320014420 0
# Node ID edc1351b863ce544ab5ad38d7450b4aad6682f12
# Parent  2e96c12ba5911b7efe2b50ba893381f95211ab5f
added

diff -r 2e96c12ba591 -r edc1351b863c Cookbook/main.html
--- a/Cookbook/main.html	Sun Oct 30 22:38:42 2011 +0000
+++ b/Cookbook/main.html	Sun Oct 30 22:40:20 2011 +0000
@@ -20,7 +20,7 @@
 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. 
-At its centre it describes the 
+At its centre we describe 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 
@@ -180,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:38:32 GMT 2011
+Last modified: Sun Oct 30 22:40:17 GMT 2011
 <!-- hhmts end -->
 
 </body>