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