# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 476ef0193b5b55446baa379e26314794f6de582b
input_heaps:
d68c97a199327570bbbc88bf3960f7f8ddebeaef
6559143f0d47d16e6a6701e66f7790a037da1ed0
58b1d73f55934cc15c4b14db928ecdbce9963615
a2d4f012ddb90d71c1226202eb18125aa8596852
3e2f4e274035a6955ff5f3cec688d040d7a92607


