# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 3c51bfbe4186b641dc919688b35f39c3a619e363
input_heaps:
4ee49694f2bd4fec19a86491c156fe6e4a3ab3d3
16d5d003cf835af882cce0ded0a82e633004614f
5a25b6efc922c686b75eca175751f959cedf607f


