# isabelle_session_info

session_name: HOL-Predicate_Compile_Examples
sources: 6da92706186d4094a2cffac83800b26844b37bfa
input_heaps:
144081708d643f12bc07862a2c56f95089c24593
82f7148b5f30d0547ce70b4793c12f020624ac86
0b0299f582ec523120c613fd3dea10a7fb33852b


