diff -r 4dc65845eab3 -r d8d7d1b785af doc-src/TutorialI/Overview/LNCS/FP1.thy
--- a/doc-src/TutorialI/Overview/LNCS/FP1.thy	Wed Feb 24 11:55:52 2010 +0100
+++ b/doc-src/TutorialI/Overview/LNCS/FP1.thy	Mon Mar 01 13:40:23 2010 +0100
@@ -62,7 +62,7 @@
 consts xor :: "bool \<Rightarrow> bool \<Rightarrow> bool"
 defs xor_def: "xor x y \<equiv> x \<and> \<not>y \<or> \<not>x \<and> y"
 
-constdefs nand :: "bool \<Rightarrow> bool \<Rightarrow> bool"
+definition nand :: "bool \<Rightarrow> bool \<Rightarrow> bool" where
          "nand x y \<equiv> \<not>(x \<and> y)"
 
 lemma "\<not> xor x x"