# isabelle_session_info

session_name: Neumann_Morgenstern_Utility
sources: 01fdc3be5d3e39ef291d9b8504f8b4510d2ba92d
input_heaps:
f42ef1fa33b2bcf7f41b6d59156a15f0915a3353
e231d8a0cba58c5d3b81b383eb6beb7946babf5c
7eca4f1e65c2d4f1520386d47351a3f6c9e5fa47
47ab27ccb2dd5c3d5f34f45b064585cf2cc45a92


