# isabelle_session_info

session_name: Ordinals_and_Cardinals
sources: 4b01e0bc587cadd4fa66c0fb751bd19dd752687f
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
8e20ce849646d33245e5b8e0a39681f1fa96c617
206b27cba202fcdad25a3189bb2b8218529d23b5


