# isabelle_session_info

session_name: Proof_Strategy_Language
input_heaps: 70d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9
sources:
068279aaa3d18a166de0f0e7d416bfcbc64ce218
12fd8ef6a3d4eba3110281433fa5937269030040
2c12706e07f29ec591dc22f9f0b39f5d07b62fdd
30ea1034d147c7e587bb9f794f7d1f7f95f4fdd6
336f7218730304e9b2a3f9be4065f1b640c9c272
3a570d1cfadf2fe79ab6a87e9a8d11d3dc622140
41fa50695866907283577b0fdb1868874c2adbfd
493b059c7d23b329faee7ad3f83306ed157fe57a
55677a16dd53038cbf3822fc3ed804a074e60ad1
717da459203ba668d3b4152da2dae84802616a38
77a91d395ecd957122289bcdd1e43fef6d7a71d9
bac897fa3e742896fc83fd68bd87261a0646e3b9
e18146e76a5da3d5bb295ef47091451dc1d7afb6
f9a61dce7b499b03ba5603462f0176cd5f8e6624


