# isabelle_session_info

session_name: Gromov_Hyperbolicity
sources: 3ee5d86146c7c968a82df64824128b33e49f3bd9
input_heaps:
bc695fdee8824a798a8d382701fae26c53fc4747
5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77
dd3b26eb68cac29493bf399898266d7430458d30


