# isabelle_session_info

session_name: HOL-Decision_Procs
sources: a645f25d484cb8d42c5c7935b2a70f5d70bcd5fc
input_heaps:
3e83dd5e90049264613e93edc26f52cf03e9ee22
1342b6ac7e20ff64ae7c2b259f02eb6c015e9b0d
871c6413532f2e68769d020bbff9eafc483d2a1a
731dc46ade5a1dd1afaee24684375bffaa790fa3
553045f5c3d67e7b0c443b10ef5371a888e587f7


