# isabelle_session_info

session_name: Refine_Monadic
sources: d95808fdb914d46c8f775fc82613ec7610bf3c94
output_heap: 5f6594d9d496d279a984d1cec373fd9b7a486dcd
input_heaps:
f4e66065a04f1e2d2dfdb251791c7f25eacff512
b7343e71809abe96ec8715dc85d1d5193e283b23
bd152c7c93878c919008fd908c28e98a83388dcd


