# isabelle_session_info

session_name: Partial_Function_MR
input_heaps: f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24
sources:
02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07
102a7defa8ee89b83c6bda0f09e3868cc735f8ad
3853af791f5f3b128ebb7fad862b717f7ee36c26
3997ad1247c599ff5ca5a09326a165d755ba9b8b
69b4d87e9cab0b856337e17afce32c08395ac7ff
781dd5916f6e706142265f4028eb0aafb27af564
b1e21aa57edd70bde8f216c90c9e019b2def3613
c18e6e4725b2fa2165efa99d6e05875c28c7d5b3
cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c


