1 (* Author: Tobias Nipkow *)
2
3 subsection "Computable State"
4
3 theory Abs_State
5 theory Abs_State
4 imports Abs_Int0
6 imports Abs_Int0
5 begin
7 begin
6
8