# isabelle_session_info

session_name: Ordinals_and_Cardinals
sources:
0b71552762a86f4cc9509ec4286ac12980f770b4
739539e961f95f9c22839fd98417ffba3e077d29
821c17b742e5935dba6f50981002859c60a671f0

input_heaps:
8c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07
19421247cd7a776604acea1c792f080bf1ec45b8


