# isabelle_session_info

session_name: HOL-Imperative_HOL
sources: 0a7c9a7f417c3e8c98a5e4541cf161fce91a6a14
input_heaps:
38c951d9fd14e9e40ee7e0e1341b1730469e572d
21de88f4fc30aad8e5a02ae7480f072f8599a03f
c28ddcc6da1a140e9b978c8c816c82ac157f7d4f


