# isabelle_session_info

session_name: HOL-Imperative_HOL
sources: d43184c093c1fa6627d2d50339e12dd8edc5a22c
input_heaps:
ae17b97f9975a58f49edf9948881ca3e82dad276
a1e2147b15fbe11193d38b22e9fc5ba6c17a7dfc
d6bbd7b0c497bb0152198de69a309e7bb0cee4ee


