# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 9362ff41e9e12a7c5f42d74fcb4f116c79d5c3ef
input_heaps:
144081708d643f12bc07862a2c56f95089c24593
82f7148b5f30d0547ce70b4793c12f020624ac86
0b0299f582ec523120c613fd3dea10a7fb33852b


