# isabelle_session_info

session_name: HOL-Decision_Procs
sources: cfaaf33a5326e4f786dd2ce63928a5c2b90559e4
input_heaps:
531cd0dd66962abee933561c825def01215eb14d
7628b1d8b68dee6d44a904ec07f356e58b6f78ee
484797315e779e7c3aa8cd3284015f4f8ca03009
450afcee97bc266946dea47c80b69c5b4c019683
6814a2bca647bba5d144c96c9dc7afacc12b6adb


