# isabelle_session_info

session_name: Proof_Strategy_Language
input_heaps: f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24
sources:
068279aaa3d18a166de0f0e7d416bfcbc64ce218
0d624df132aa2e54b02fa619fa707a1b424b9830
17f12df8e7e241856553b386bf9b25d3c35ecd3b
2a5a705008522d3741e00539816595b3c413d710
30d83b4beaf25974716da4b486e708380aae630c
383dee4bb60284cc7229af5017def9c12378879e
3a570d1cfadf2fe79ab6a87e9a8d11d3dc622140
4b07574364d9d3248f21270d3e4a093a5b7f6465
4bd59757d95a4dfd72fd9de5cb9ee71638997ae7
57b04becf2e8aba229f95bf828f170d987712c05
58e53da3dbd3bd39780f51591141bd43b6b121de
5b63118fd5aeecbd84901bb3d419b386e5e2302c
5cdc2fb3737d2b5dfa18e1eee3948c49571230f5
6822b3fd7098bd7e4699883659cd26c3c00ec8bd
717da459203ba668d3b4152da2dae84802616a38
7b43f71839f8487de997e310090b332eb5f3bce2
86e2ef92ac7d8a3d145d2164442c5c4c62c68b54
86f4ffb46be9afa65f49248c12d4cf6f9962a8a4
973d6bd96dc9037f8676681fb869d6ae83013aac
f77be8a45861ec08c307779c1f4d3a3914eb67f6


