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 tutorial 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 @@
[Validate this page.] -Last modified: Sun Oct 30 22:38:32 GMT 2011 +Last modified: Sun Oct 30 22:40:17 GMT 2011