# isabelle_session_info

session_name: Ordinals_and_Cardinals
sources: 4d23a5bcb2b38e079e674ed2faee97222fd82368
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
f6ffa714dac548bd1fa745e8527624877a3ec1f3
c71899374c7fcfb6c075ecd3f815deb92df59c25


