# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 2c718943d6a5a29b938b21eadc530541f6ee346e
input_heaps:
b67598e9d39e25a28c8a4047eb4f21bcbde37efb
b943c91085d6c200a2f9eadeec522426450d9fdd
3e8161e3ad9c167f72c14cc19719a9df8cdbb71f


