# isabelle_session_info

session_name: HOL-Imperative_HOL
sources: e76c6fb27c7b988bcb939b9a1d314227c1966323
input_heaps:
dbc373532a8de37e9abb2d2b3f29c7d794abd157
76f1b6b9c5508daaae4efe96776d5917ec90f735
21eb7280d14694decc6e9bbbe9fdcd2898c54b3b


