# isabelle_session_info

session_name: Ordinals_and_Cardinals
sources: bcb909eb1ce48c8da22ea4fbf03d948eb27f04e7
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
7d8776852a2e8fcfa920c887502777b45ba62540


