# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 53541a95889c1d412bd622b3347f6e4a9e7d79c5
input_heaps:
904467ccdfc347b5bee6ef036ef0dfed0d85bd29
b0460f12284c10e5929b92b4ac141578669c1ff6
9f975acad972b699f03fe810ec4b42636972fe41
e7d2699b6a515417f8ddc758150f06626055bc7b
6f500ed8c9720f1dcea9220777801d482166cd2a


