# isabelle_session_info

session_name: Tycon
sources: 0d379d323dea81bd8123387684934acf9150c8ae
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
8b2f2f4412b70f786362201462bf6da4955f0a02
e2a7e9445a9f21e145c2eff14cfba9ef1b86c1e2


