# isabelle_session_info

session_name: HOL-MicroJava
sources: 8ae2e8f0d4404f58b5afaca5351a5fd6d0cbf559
input_heaps:
3cff46c99bdc77cb69279060f2c6ce1d34c65856
81d7082226527c0f9590bf1b77046bb4db419c84
4dfbce76ca88eb0868e48fa809d6ff0b5fcd5af6


