# isabelle_session_info

session_name: Ordinals_and_Cardinals
sources: f7dfa16d7d101cfc6ad9b09e4b9cfa783f2a4508
input_heaps:
78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920
db0b9f381bf5e847e834c0dde3ed15877688cc59
7c8e4f8ca99faf3a3eac23d41d3ac692538f4115


