# isabelle_session_info

session_name: Card_Equiv_Relations
sources: 0a50eafa52dbbfa64b7a615adb607e88c574a638
input_heaps:
273a065aaa7221aeab8448251fac00a4433003aa
e99e0684410df36373f4f2b5c5ea423968ee9625
c476bdebca2f60c33824d5374c70fabe6f4ba221
acf47cb3cee887f1be58c7ab967b2191bb9cb1a6


