# isabelle_session_info

session_name: HOL-Predicate_Compile_Examples
sources: 20b42523597b5f9f43ab84b4e5c079c928e5e2cc
input_heaps:
f3782e60e56b1de215ee686052f461bb18c61005
ff5fe0825dd1d8f09ac6ba6d5da68bef29f41d33
cea65f62510c72c82894137cc6afc255458430a6


