# isabelle_session_info

session_name: HOL-Real_Asymp-Manual
sources: 236bbfb9db614eaa1e96aa92df1247ea539cf352
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
0e0a9ab1e2136899daac9b222271d114051cb90d


