# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 0f639fac5f380353c32c3e2af6d6deecc4a9a9e1
input_heaps:
0b7a87e30dfc0251c05aac2be967bb2f98663a00
1e5d70c6c381761a53f8c5bf35dfaac12e4e6a0a
4634df339a855a06ac1db56e7d183ffe07409494


