# isabelle_session_info

session_name: Recursion-Theory-I
input_heaps: c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3
sources:
3835d96791c5b14bba726a3431ef84e6a32eab4a
504c2bac6984bf709ac19274157bfd1096dd586e
654d16ab60a6a9d6431a6615c6516388350261e6
7aeb74dbeb2d1f6150086b5115b38729c66b514c
8223ed9d75ca8855b69b3f06fe39b4f6ad9359b0
a50d86dcbd669eae0b0b37336cc1cc3f8c294932
ab8f008c9e9efe3398edc4bf927701a2f02d911e
bbe7c0fc70940cef12f7ef60a43f50e633be0f8d
bfded3a5d04c05bd47123a1a31b719eba7638a8b
c1ea5049b0e2827fec073954f2b7a4d7caf4fa75
f6907765bd86ef922b2b6fb287ff969df46fb1b8


