# isabelle_session_info

session_name: HOL-UNITY
sources: 4ffa177b6bfed4cd68443f6fc1b88a8c8cfe9ca1
input_heaps:
0b3eccfc941914cdec8da160566279ceaec47a32
11c84b6c962cb2c835a2796f64ee7e8c5da18a74
b63f084f8a0bd4fe2f5bf9139179db861929ded8


