# isabelle_session_info

session_name: HOL-Real_Asymp-Manual
sources: 3337984a077ede2f8a9583f9245860bb4b6652ea
input_heaps:
3cef1131ffc36b5267ef54e02c39cc49de01aff8
1f732b8f5676e409931f4b9c5ad7c93b8b8467c9
cd00421fb2528939470cf692e89825bd9d864377


