# isabelle_session_info

session_name: HOL-Imperative_HOL
sources: 88d57451f577f95baddacc91f8dfbb28445680c8
input_heaps:
357008b0b2682019b352f15558029e5fdc78e3cf
6ed366e7eed5721240602f54453f44d2f0e04ea4
52f61a365cdb0bcf46a3239eb16f67f805f07d53


