# isabelle_session_info

session_name: HOL-UNITY
sources: a736d17e2f70d9e09949d6f3818b0c07e4fc1736
input_heaps:
5ba685b34502b4975dd781c9ef731c56a0e0c185
7db66820c4732ce3811ef4ff9263cbcff2cc8580
46b086d6f859329f35c9e2a18da6cfb333cde927
7c27b17ecd7971ab350c94f72433ca9c5c57feca


