# isabelle_session_info

session_name: HOL-UNITY
sources: 6b9cded25a00bc6e9a066993bdb790fffc793265
input_heaps:
37103d488c27efa28e62851c2ab720a8f6785f98
aa62ce07a788d1f7f0daf47f49f5216de134e799
ca417ecab03c6ae06f0e4f497d627187943ede02


