# isabelle_session_info

session_name: HOL-Decision_Procs
sources: b718e3d7dd39b50e7c1ef6452d9bde95413c3879
input_heaps:
971b735bb93991ebc30ab05e1c5d2490d534dd41
5e6da02360216761c8e3eeec3df5cdc5e01ade87
cd005c5df8a5f1c80b3276163eb097e8f896f33e
88490dc945ab63e27862a3d105feff0388613aff
41c29e4969f1e98a680b402a89e15de23e65da5e


