# isabelle_session_info

session_name: Card_Equiv_Relations
sources: c31a4bf7a818dd3f8ea8f44cfb0f5e27d5c13115
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
85abb972e33d791a56eb0ae4d28a032db01c9061
5b6993e970f945ff63c13b6cf6f5bba3ed02b4d4


