# isabelle_session_info

session_name: HOL-Decision_Procs
sources: a584580f8be4a4cbeb01825ea6257e8c9233cc7a
input_heaps:
a7e0098c16fd923224d12b7191f69f9fa4d76b8d
47bb6935461017c83f2b18eba239137ac1b6429b
6d7cf6dc69fdde7813b48ebf04886b7ee334a278
a7109bfd5d6e251c84e17b3ad0e09baa836fc7ec
9a2b4db1cca6e236bf25066d2be6a88ddf6d4870


