# isabelle_session_info

session_name: Ordinals_and_Cardinals
sources:
0b71552762a86f4cc9509ec4286ac12980f770b4
739539e961f95f9c22839fd98417ffba3e077d29
821c17b742e5935dba6f50981002859c60a671f0

input_heaps:
728eda92c596448850baeaf541586ad0cbd7b32f
f43caa9e5e417d16de9ac31da220529d0a28b7a7
c0de3a72380c3ab1b14c971396752f50c590bc0d
3728b8297c7240a5d86ea1c26301f946e45de232


