# isabelle_session_info

session_name: Types_Tableaus_and_Goedels_God
input_heaps: 9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4
sources:
0ee1da74dc26038f9d330de48ea02c5270b4e51f
1441a0c4518ac1992fb55b3af2a7f6bf7330e16c
2233358fd06092100c018577c0e26f0e9bd51d5e
23330bc9cfcbf3594b1244b2efd887b667728a17
49d8d169e06a8a1176093e929235ae2ba59b0fae
5e44d4497c09b168a04214f71ffa6ae664544832
70051d2adab6c377eb075a02813092f11631be7c
a6370fc82b658be5961290b9e44657511e63f929
af91d273a06230c3f86cf963cc7cc2a59bfe5e26
bdda8c4a7c9e6264b467df44cfc79ba4130d4ecb


