# isabelle_session_info

session_name: HOL-Nominal
sources: 0a644e2e60588d156a40311888bfec24d67d08ff
output_heap: 701a4d76f810fd312148e348e68e7c666f9b47fb
input_heaps:
6ccfd83e19ef598f6e27e356293c7dd9ec0a36c7
4664eafb8b95b7e524d9955d44d27659b2d95702
0efab43c4dd752e25759dabc7f6a76e0b445a3bd


