# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 31ef08c385c2822c38cb19a05e8c76523fee41f5
input_heaps:
fcd97a695ef5b62bea38497cd0d65f66703005ff
e9b88f37fc9fffc4ef10fd249175df1d7a522cfb
9d96b3461bff4a64b26cc6763863aab616a85f5c
871392edd33e357a39976549b850666d6daf0bf5
fb06824d0b3a994e74807b98971d51f73ae47c55


