# isabelle_session_info

session_name: HOL-MicroJava
sources: 5179f9a84b446f4918170900c72c1c205da81cc8
input_heaps:
425050c979a8d54247f86c7dfa44e6a498adfdfd
1f89f62b2b5f45ced70bdc8c7ca677aa7e6acb93
ed29f35d0b99a35bf56527c7405c4d1433071668


