Mercurial Mercurial > hg > lexing / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
multiply
authorfahadausaf <fahad.ausaf@icloud.com>
Mon, 06 Oct 2014 11:46:23 +0100
changeset 15 bdabf71fa35b
parent 14 5c6f9325327f
child 16 a92c10af61bd
multiply
thys/MyFirst.thy file | annotate | diff | comparison | revisions 
--- a/thys/MyFirst.thy	Mon Oct 06 11:17:46 2014 +0100
+++ b/thys/MyFirst.thy	Mon Oct 06 11:46:23 2014 +0100
@@ -91,8 +91,8 @@
 fun mull :: "nat \<Rightarrow> nat \<Rightarrow> nat" where
 "mull 0 0 = 0" |
 "mull m 0 = 0" |
-"mull m 1 = m" |
-"mull m n = 0" 
+(**"mull m 1 = m" | **)
+"mull m n = m*n" 
 
 (**
 fun count :: "'a\<Rightarrow>'a list\<Rightarrow>nat" where
lexing