| changeset 12338 | de0f4a63baa5 |
| parent 11908 | 82f68fd05094 |
| child 12517 | 360e3215f029 |
--- a/src/HOL/MicroJava/J/Value.thy Sat Dec 01 18:51:46 2001 +0100 +++ b/src/HOL/MicroJava/J/Value.thy Sat Dec 01 18:52:32 2001 +0100 @@ -9,7 +9,6 @@ theory Value = Type: typedecl loc (* locations, i.e. abstract references on objects *) -arities loc :: "term" datatype val = Unit (* dummy result value of void methods *)