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.
commit
authorfahadausaf <fahad.ausaf@icloud.com>
Tue, 07 Oct 2014 12:48:56 +0100
changeset 23 768851ac930b
parent 22 fff2b8d356a5
child 24 789ade899a53
commit
thys/CountSnoc.thy file | annotate | diff | comparison | revisions 
--- a/thys/CountSnoc.thy	Tue Oct 07 12:33:27 2014 +0100
+++ b/thys/CountSnoc.thy	Tue Oct 07 12:48:56 2014 +0100
@@ -19,7 +19,9 @@
   if x = y then Suc(count_list x xs) 
   else count_list x xs)"
 
-value "count_list 2 [1,2,1,1]"
+value "count_list 1 [1,1,1]"
+value "count_list 1 [2,2,2]"
+value "count_list 2 [2,2,1]"
lexing