# isabelle_session_info

session_name: Ordinals_and_Cardinals
sources:
0b71552762a86f4cc9509ec4286ac12980f770b4
54c33573497f46089953990a08cdeac971e1bbcc
821c17b742e5935dba6f50981002859c60a671f0

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
f2c0327cc992a170a03cc624fa59a1c34d72bd65


