# isabelle_session_info

session_name: Ordinals_and_Cardinals
sources:
0b71552762a86f4cc9509ec4286ac12980f770b4
821c17b742e5935dba6f50981002859c60a671f0
dfd7182d74af2220f059c969b61e94463b817b27

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
fb92b532221d7fc97a1e2826a9573c104787ea6d


