# isabelle_session_info

session_name: Ordinals_and_Cardinals
sources: f7bee62c92f95baf73f42dca1406cd8b2eeff7e0
input_heaps:
c2093642ce0e52d658430117f07a6a10f135143e
958f81e74e154e8719a792f45217a865d1da1a47
970ff756d9e197c0c47111d419e7ce505a94791a


