# HG changeset patch
# User fahadausaf <fahad.ausaf@icloud.com>
# Date 1412682536 -3600
# Node ID 768851ac930b0fa89e7451a74c20f1db4d82a425
# Parent  fff2b8d356a5fac04638b64ff3e13638216ad573
commit

diff -r fff2b8d356a5 -r 768851ac930b thys/CountSnoc.thy
--- 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]"