changeset 58249 | 180f1b3508ed |
parent 57245 | f6bf6d5341ee |
child 58310 | 91ea607a34d8 |
--- a/src/HOL/Metis_Examples/Trans_Closure.thy Tue Sep 09 17:51:07 2014 +0200 +++ b/src/HOL/Metis_Examples/Trans_Closure.thy Tue Sep 09 20:51:36 2014 +0200 @@ -15,7 +15,7 @@ type_synonym addr = nat -datatype val +datatype_new val = Unit -- "dummy result value of void expressions" | Null -- "null reference" | Bool bool -- "Boolean value"