# isabelle_session_info

session_name: SIFUM_Type_Systems
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449
sources:
0892a5fe5b4fab77b2315001c3015959fb3b0a7e
15a0caf67337fd8427b43f3f2032c5364ec25f42
18215c5e05cb7451d8fd036d5c30a13800346a58
738ab66ce6583676bcd2cbeed569469a4c5f918f
9120038c1f8420bd86f83ea2f65a3cc0e1f94643
a7680ef19079c95782d3cdcfe594f8767d6c60d2
b30c816eee4d72a9ff810dfa44ce51abb7b5ddc5
c172a9ff02fe9077fd26c75d44371e335264ef4d
dac15d0b85cd4483b314495c1f07cbd6f11b216c
dec313fe0287de8e17428733ad175fb165177e42


