| changeset 65449 | c82e63b11b8b |
| parent 61980 | 6b780867d426 |
| child 76213 | e44d86131648 |
--- a/src/ZF/UNITY/State.thy Sun Apr 09 20:17:00 2017 +0200 +++ b/src/ZF/UNITY/State.thy Sun Apr 09 20:44:35 2017 +0200 @@ -10,7 +10,7 @@ section\<open>UNITY Program States\<close> -theory State imports Main begin +theory State imports ZF begin consts var :: i datatype var = Var("i \<in> list(nat)")