# isabelle_session_info

session_name: HOL-Decision_Procs
sources: b28ddd2554e79308c425d85958766e6aaa502b83
input_heaps:
48ef87dd09ab8fc29a0988e0025104c249fa2e36
35bb85abbd94b011d8114c0880ef20a2961ecc7f
2dfb5262788728a96f0e81ce58f0dddb076d0e65
5fc34b539e4dea7b4b4cf08168f4eb69b0fc5afd
997f1c89e74dd71c123b63f32e5eedd98ef5859f


