# isabelle_session_info

session_name: HOL-Imperative_HOL
sources: 20a980493bc3f27b1c78cc5eb7e086fc90f68ddc
input_heaps:
4736b1e23a398dbee71a41752b3246cb194e8a53
b1c73846f4f9e2fe254680f9c3939abd28428f9d
b53902b93b663b6aaecb379c6c3e88b4855f2977


