changeset 17160 | fb65eda72fc7 |
parent 16417 | 9bc16273c2d4 |
child 32960 | 69916a850301 |
--- a/src/HOL/Bali/Value.thy Sun Aug 28 16:04:43 2005 +0200 +++ b/src/HOL/Bali/Value.thy Sun Aug 28 16:04:44 2005 +0200 @@ -9,7 +9,6 @@ theory Value imports Type begin typedecl loc --{* locations, i.e. abstract references on objects *} -arities loc :: "type" datatype val = Unit --{* dummy result value of void methods *}