# isabelle_session_info

session_name: HOL-Cardinals
sources: aab9c72f58d512bb0b7318dad93200cea11fdd7a
input_heaps:
b7e97556cf8de0f09d665cbad2c7aa5e6ee16e63
90bc4c22e1bac0eecaa31c236fc8ab40a62fb2c8
f18caae0a64c529780a76ec1407e44947ee6d3a4


