# isabelle_session_info

session_name: Tycon
sources: 083fb9eb9fdc71ec2b3228774b75a5ccf7e2e3b5
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
d31e6c78d310ac04e625ad6cce8d119862d23c6d


