# isabelle_session_info

session_name: Card_Equiv_Relations
sources: 9edd5d42ccba25b0c219ff215cc301742acddc41
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
ecbaca1f759e0af4557375e3f3e93a75220211b8
5f6f22336dc8a3bec361769a0f9efad5a9bfe828


