# isabelle_session_info

session_name: HOL-Real_Asymp-Manual
sources: 7a9a310959487582b5f03d44a38ce1ec3d3a2d36
input_heaps:
9cd33e2f2669d2e2ef0833012528b204015b12df
e5cff2820287d96832c0244f64103884811e226d
1bf319c528234e43ed85270b4e3259e49f70ceb2


