# isabelle_session_info

session_name: HOL-UNITY
sources: 5c5c85b20d530cec13cb2f5f9ee487ab008fd506
input_heaps:
a3ca72e93022ff3a13f721dde80608155e0e134c
03ac95b81282031db310f795682802eff540a88f
ec5f667793f1a373a81b1fe8344e2c3b64c5cda2
494c6762b40d127e7dea5c1deb7c82a159c62104


