# isabelle_session_info

session_name: HOL-Predicate_Compile_Examples
sources: 6ce28d0dcd552d88fa8c28192563bc68fc5330a8
input_heaps:
c2d0fb3b47e8eb977e037c394badcf36d1d2c5a6
b2b478c28d6b0e47d8a42d61ccf723d668135bd8
ca30cf122c68fcafed499ac473b9fe2b3ca2d2c9


