# isabelle_session_info

session_name: Card_Equiv_Relations
sources: 1315fa9fa5f18e6006108895a8aa53b098e535bf
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
f9599c72045408b4573575612b1544f97d3e8615
e9df4ac96aaa27df45a4820e2370310fd3189a3e
fe051929f9c504024618f92e9d4622640956aa5b


