# isabelle_session_info

session_name: Ordinals_and_Cardinals
sources:
0b71552762a86f4cc9509ec4286ac12980f770b4
739539e961f95f9c22839fd98417ffba3e077d29
821c17b742e5935dba6f50981002859c60a671f0

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
fd75a6d445e5afaec4d07c698e0e0aad8327d77d
df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b
e9893377b8be89f3323e0e7d80ab4dac486b9a5f


