# isabelle_session_info

session_name: Ordinals_and_Cardinals
sources:
0b71552762a86f4cc9509ec4286ac12980f770b4
739539e961f95f9c22839fd98417ffba3e077d29
821c17b742e5935dba6f50981002859c60a671f0

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
d97c8eeab5366846f6d9647d2a5501999e294803
ca57ef1b446e14ab305bac96ebb43b476d3520da
791b304cbf44c785223f07b8cda2d5608791bd7d


