# isabelle_session_info

session_name: HOL-UNITY
sources: 29df59dd8ab75414f64504e85f4ae5f5e15ddeec
input_heaps:
7ebc77e06d0e52a3d23b989ac3a5cdf6ba4e38da
173ebb4f87bc782b63cf102fdfc8b061631d5b0f
39e60d5dd3a8625aa5f685558211aaea63c973dc
08dd50c02b9907a953604d7c3a4bda9e95a0201b


