changeset 24423 | ae9cd0e92423 |
parent 24292 | 26ac9fe0e80e |
child 24587 | 4f2cbf6e563f |
--- a/src/HOL/ex/Eval_Examples.thy Fri Aug 24 14:14:18 2007 +0200 +++ b/src/HOL/ex/Eval_Examples.thy Fri Aug 24 14:14:20 2007 +0200 @@ -31,8 +31,8 @@ value (overloaded) "(Suc 2 + Suc 0) * Suc 3" value (overloaded) "nat 100" value (overloaded) "(10\<Colon>int) \<le> 12" +value (overloaded) "[]::nat list" value (overloaded) "[(nat 100, ())]" -value (overloaded) "[]::nat list" text {* a fancy datatype *}