# isabelle_session_info

session_name: HOL-ZF
input_heaps: d38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5
sources:
0f83e9379368d232af1423c3a9685e6e1cf74f88
34221437a109a5594ba7786476b5abb5979a2647
693cad79e073f172aa3747c4025df67cc04a27fe
767b848e899bf51172cfcafea6b2fd397e8b0312
82fce86746f9061205d625fb926c1da3b71e3bc1
86fd7da255e0657d15e775a7170bdc58487beed1
91070ca2ed75fa7a551feb0ab60472c9827b89ed
97020981c6aabcd5f9a12344194388cc00a68b45
a6d881014016ac510413e96c94577bf126ea335f
b5cc46d4a62f20ef6119a9851a7ca12f33a1c7a3
d4ce4d0c7f1396605d8e07780c2e270a04a0d28f
f061effe1a39aad1953557c0a1606fc8143f9a30
f5e82ea1c278f91f9937efb26f3b0956a096c71f


