# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 746227dce92f39242c61bbefd1c0cc9c04016dbd
input_heaps:
6d85d7da629d04ca7c167e89ee6174421944b179
7faafba131fdb968e2d6381e53b58a0c877dd620
b036ec7fe1c195049bf582657c30d1758f895a38


